Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32211-2_6 ◽

2012 ◽

pp. 73-89 ◽

Author(s):

Rafael Caballero ◽

Adrián Riesco ◽

Alberto Verdejo ◽

Narciso Martí-Oliet

Download Full-text