From big-step to small-step semantics and back with interpreter specialisation
Citations
Altmetric
Author
Gallagher, JP; Hermenegildo, M; Kafle, B; Klemen, M; García, PL; Morales, JDate
2020-08-07Source Title
Electronic Proceedings in Theoretical Computer SciencePublisher
Open Publishing AssociationUniversity of Melbourne Author/s
Kafle, BishoksanAffiliation
Computing and Information SystemsMetadata
Show full item recordDocument Type
Conference PaperCitations
Gallagher, J. P., Hermenegildo, M., Kafle, B., Klemen, M., García, P. L. & Morales, J. (2020). From big-step to small-step semantics and back with interpreter specialisation. Electronic Proceedings in Theoretical Computer Science, EPTCS, 320, pp.50-64. Open Publishing Association. https://doi.org/10.4204/EPTCS.320.4.Access Status
Access this item via the Open Access locationOpen Access URL
http://doi.org/10.4204/eptcs.320.4Export Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References