From big-step to small-step semantics and back with interpreter specialisation

  1. Gallagher, J.P.
  2. Hermenegildo, M.
  3. Kafle, B.
  4. Klemen, M.
  5. García, P.L.
  6. Morales, J.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Año de publicación: 2020

Proceedings - 8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020

Volumen: 320

Páginas: 50-64

Tipo: Aportación congreso

DOI: 10.4204/EPTCS.320.4 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus