A core Erlang semantics for declarative debugging
- Caballero, R.
- Martin-Martin, E.
- Riesco, A.
- Tamarit, S.
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Datum der Publikation: 2019
Ausgabe: 107
Seiten: 1-37
Art: Artikel