From operational semantics to abstract machines (1992)

by John Hannan , Dale Miller
Venue:Mathematical Structures in Computer Science
Citations:59 - 6 self

Document Versions

From operational semantics to abstract machines –John Hannan, Dale Miller — 1992 — Mathematical Structures in Computer Science