High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations.

Uwe F. Pleban, Peter Lee

Browse the full MFPS paper archive.