From big-step to small-step semantics and back with interpreter specialisation

    Thumbnail
    Citations
    Scopus
    Altmetric
    2
    Author
    Gallagher, JP; Hermenegildo, M; Kafle, B; Klemen, M; García, PL; Morales, J
    Date
    2020-08-07
    Source Title
    Electronic Proceedings in Theoretical Computer Science
    Publisher
    Open Publishing Association
    University of Melbourne Author/s
    Kafle, Bishoksan
    Affiliation
    Computing and Information Systems
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    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 location
    URI
    http://hdl.handle.net/11343/254269
    DOI
    10.4204/EPTCS.320.4
    Open Access URL
    Published version

    Export Reference in RIS Format     

    Collections