A Declarative Debugger for Sequential Erlang Programs.

Rafael Caballero Enrique Martin-Martin Adrián Riesco Salvador Tamarit

Published in: TAP@STAF (2013)

Keyphrases

programming environment
primitive operations
knowledge representation
databases
general purpose
computer programs
declarative semantics
machine learning
information retrieval
high level
queueing systems
automatic programming
provably correct