What Else Is Decidable about Integer Arrays?.

Peter Habermehl Radu Iosif Tomás Vojnar

Published in: FoSSaCS (2008)

Keyphrases

floating point
datalog programs
first order logic
real time
machine learning
evolutionary algorithm
integer valued
data sets
focal plane