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

Uwe F. Pleban, Peter Lee. High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Volume 298 of Lecture Notes in Computer Science, pages 550-571, Springer, 1987.

Abstract

Abstract is missing.