Executable Specification of Static Semantics

Thierry Despeyroux. Executable Specification of Static Semantics. In Gilles Kahn, David B. MacQueen, Gordon D. Plotkin, editors, Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Volume 173 of Lecture Notes in Computer Science, pages 215-233, Springer, 1984.

Abstract

Abstract is missing.