Published in
Springer, Lecture Notes in Computer Science, p. 28-38, 2023
DOI: 10.1007/978-3-031-45784-5_3
Links
Tools
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Book chapter published in 2023 by
John P. Gallagher 
,
Manuel Hermenegildo ,
José Morales ,
Pedro Lopez-Garcia
,
Manuel Hermenegildo ,
José Morales ,
Pedro Lopez-Garcia
Distributing this paper is prohibited by the publisher
Full text: Unavailable
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 