A core Erlang semantics for declarative debugging
- Caballero, R.
- Martin-Martin, E.
- Riesco, A.
- Tamarit, S.
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Año de publicación: 2019
Volumen: 107
Páginas: 1-37
Tipo: Artículo