A Declarative Debugger for Maude.

Adrián Riesco Alberto Verdejo Narciso Martí-Oliet Rafael Caballero

Published in: AMAST (2008)

Keyphrases

domain independent
formal specification
programming language
data sets
relational databases
data model
programming environment
parallel programming
real time
real world
similarity measure
video sequences
object oriented