Login / Signup
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System.
María Alpuente
Demis Ballis
Julia Sapiña
Published in:
Math. Comput. Sci. (2020)
Keyphrases
</>
computer programs
automatic programming
database
programming environment
program execution
control program
prolog programs
data sets
genetic algorithm
test cases
cost effective
computationally expensive
control flow