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

ISSN: 2075-2180

Argitalpen urtea: 2020

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

Alea: 320

Orrialdeak: 50-64

Mota: Biltzar ekarpena

DOI: 10.4204/EPTCS.320.4 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus