On Legality Assertions in Euclid

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...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. SE-5; no. 4; pp. 359 - 367
Main Author:	Wortman, D.B.
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.07.1979 IEEE Computer Society
Subjects:	Boolean Computer languages Computer programming Councils Design Euclid Implementations Law Legal factors legality assertions Optimizing compilers Performance analysis Program processors programming language design programming language implementation Programming languages Programming profession Restrictions Software engineering Variables Verification
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!