DocumentCode
750419
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
Issue
4
fYear
1979
fDate
7/1/1979 12:00:00 AM
Firstpage
359
Lastpage
367
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1979.234203
Filename
1702641
Link To Document