A core Erlang semantics for declarative debugging

  1. Caballero, R.
  2. Martin-Martin, E.
  3. Riesco, A.
  4. Tamarit, S.
Revue:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Année de publication: 2019

Volumen: 107

Pages: 1-37

Type: Article

DOI: 10.1016/J.JLAMP.2019.05.002 GOOGLE SCHOLAR
La source de données: Scopus