From Operational Semantics to Abstract Machines: Preliminary Results

John Hannan, Dale Miller. From Operational Semantics to Abstract Machines: Preliminary Results. In LISP and Functional Programming. pages 323-332, 1990. [doi]

Abstract

Abstract is missing.