This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
On Legality Assertions in Euclid
July 1979 (vol. 5 no. 4)
pp. 359-367
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.
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
Usage of this product signifies your acceptance of the Terms of Use.