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

Gallagher, John P. and Hermenegildo, Manuel V. and Kafle, Bishoksan and Klemen, Maximiliano and López García, Pedro and Morales Caballero, José Francisco (2020). From big-step to small-step semantics and back with interpreter specialisation. In: "8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (VPT/HCVS@ETAPS 2020)", 25-26 Abr 2020, Dublín, Irlanda. pp. 50-64. https://doi.org/10.4204/EPTCS.320.4.

Please select an output format:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM