A core Erlang semantics for declarative debugging

  1. Caballero, R.
  2. Martin-Martin, E.
  3. Riesco, A.
  4. 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

DOI: 10.1016/J.JLAMP.2019.05.002 GOOGLE SCHOLAR