Sign in
An extension of lazy abstraction with interpolation for programs with arrays.
Francesco Alberti
Roberto Bruttomesso
Silvio Ghilardi
Silvio Ranise
Natasha Sharygina
Published in:
Formal Methods Syst. Des. (2014)
Keyphrases
</>
data sets
high level
image interpolation
data structure
image reconstruction
hardware designs
real time
databases
genetic algorithm
information technology
operating system
computer programs
java programs
lazy learning
sparse sampling