From big-step to small-step semantics and back with interpreter specialisation
- Gallagher, J.P.
- Hermenegildo, M.
- Kafle, B.
- Klemen, M.
- García, P.L.
- Morales, J.
ISSN: 2075-2180
Ano 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
Volume: 320
Páxinas: 50-64
Tipo: Achega congreso