Inferring Safe Maude Programs with ÁTAME.

María Alpuente Demis Ballis Julia Sapiña

Published in: ICMS (2018)

Keyphrases

computer vision
formal specification
automatic programming
real time
information retrieval
three dimensional
high level
database systems
objective function
search algorithm
evolutionary algorithm
computer programs
programming environment
fixpoint
program execution