Verifying programs via iterated specialization.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: PEPM (2013)

Keyphrases

java programs
databases
machine learning
decision making
database systems
logic programming
automatic programming
image processing
control structures
prolog programs
free software