Login / Signup
Declarative debugging of concurrent Erlang programs.
Rafael Caballero
Enrique Martin-Martin
Adrián Riesco
Salvador Tamarit
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
java programs
hardware designs
novice programmers
concurrent programs
concurrent programming
deductive database systems
high level
program slicing
neural network
steady state
computer programs
programming environment
queueing systems
mutual exclusion
declarative semantics
attribute grammars