Title :
On Legality Assertions in Euclid
Author :
Wortman, David B.
Author_Institution :
Department of Computer Science and the Computer Systems Research Group, University of Toronto
fDate :
7/1/1979 12:00:00 AM
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.
Keywords :
Euclid; legality assertions; programming language design; programming language implementation; verification; Computer languages; Councils; Law; Legal factors; Optimizing compilers; Performance analysis; Program processors; Programming profession; Euclid; legality assertions; programming language design; programming language implementation; verification;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1979.234203
