Issue No.04 - July (1979 vol.5)
D.B. Wortman , Department of Computer Science and the Computer Systems Research Group, University of Toronto
The design of the programming language Euclid requires that a compiler for the language produce legality assertions to aid in verification of programs written in the language. This paper analyzes the legality assertions that must be produced and discusses the impact that this requirement has on the implementation of the language.
verification, Euclid, legality assertions, programming language design, programming language implementation
D.B. Wortman, "On Legality Assertions in Euclid", IEEE Transactions on Software Engineering, vol.5, no. 4, pp. 359-367, July 1979, doi:10.1109/TSE.1979.234203