Symbolic Abstract Contract Synthesis in a Rewriting Framework.

María Alpuente Daniel Pardo Alicia Villanueva

Published in: LOPSTR (2016)

Keyphrases

databases
database systems
theoretical framework
data sets
neural network
genetic algorithm
high level
image sequences
data model
lightweight
main contribution