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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. SE-5; H. 4; S. 359 - 367
1. Verfasser:	Wortman, D.B.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.07.1979 IEEE Computer Society
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!