Mathematical Semantics and Compiler Correctness

Hans Bekic. Mathematical Semantics and Compiler Correctness. In Cliff B. Jones, editor, Programming Languages and Their Definition - Hans Bekic (1936-1982). Volume 177 of Lecture Notes in Computer Science, pages 156-167, Springer, 1984.

Abstract

Abstract is missing.