Static correction of Maude programs with assertions.

María Alpuente Demis Ballis Julia Sapiña

Published in: J. Syst. Softw. (2019)

Keyphrases

error correction
knowledge base
fixpoint
real time
neural network
real world
intermediate level
dynamic analysis
information retrieval
medical images
automatic programming