Maude as a metalanguage.

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Jose F. Quesada

Published in: WRLA (1998)

Keyphrases

formal specification
equational theories
reverse engineering
machine learning
information systems
database systems
multi agent systems
domain knowledge
general purpose
database management systems
user defined
constraint satisfaction
temporal reasoning