Computer Science University of Aarhus Abstract We / Abstract Machines Małgorzata Biernacka Olivier Danvy Institute of Computer Science University / /
Organization
Computer Science University of Wroclaw Department / Computer Science University / Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Institute / University of Aarhus / /
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy