A Complete Declarative Debugger for Maude.

Adrián Riesco Alberto Verdejo Narciso Martí-Oliet

Published in: AMAST (2010)

Keyphrases

formal specification
decision making
decision trees
knowledge representation
website
evolutionary algorithm
general purpose