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!
Description
Summary: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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1979.234203