Conference Proceedings

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

JP Gallagher, M Hermenegildo, B Kafle, M Klemen, PL García, J Morales

Electronic Proceedings in Theoretical Computer Science | Published : 2020

Citation metrics