Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.

John P. Gallagher, Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca

Browse the full LOPSTR paper archive.