The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1979 vol.5)
pp: 359-367
D.B. Wortman , Department of Computer Science and the Computer Systems Research Group, University of Toronto
ABSTRACT
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.
INDEX TERMS
verification, Euclid, legality assertions, programming language design, programming language implementation
CITATION
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
13 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool