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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník SE-5; číslo 4; s. 359 - 367
Hlavní autor: Wortman, D.B.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.07.1979
IEEE Computer Society
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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