A Case Study in Specifying the Semantics of a Programming Language

Ravi Sethi. A Case Study in Specifying the Semantics of a Programming Language. In POPL. pages 117-130, 1980.

Abstract

Abstract is missing.