Sign in

A Complete Declarative Debugger for Maude.

Adrián RiescoAlberto VerdejoNarciso Martí-Oliet
Published in: AMAST (2010)
Keyphrases
  • formal specification
  • decision making
  • decision trees
  • knowledge representation
  • website
  • evolutionary algorithm
  • general purpose