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

ISSN: 2075-2180

Datum der Publikation: 2020

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

Ausgabe: 320

Seiten: 50-64

Art: Konferenz-Beitrag

DOI: 10.4204/EPTCS.320.4 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus