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.
Actes:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Any de publicació: 2020

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

Volum: 320

Pàgines: 50-64

Tipus: Aportació congrés

DOI: 10.4204/EPTCS.320.4 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus