DocumentCode
1210011
Title
Programming with Invariants
Author
Paige, Robert
Author_Institution
Rutgers University
Volume
3
Issue
1
fYear
1986
Firstpage
56
Lastpage
69
Abstract
The use of a restricted class of invariants as part of a language supports both the accurate synthesis of high-level programs and their translation into efficient implementations.
Keywords
Computer languages; Error correction codes; Frequency; Magnetic heads; Operating systems; Optimizing compilers; Societies;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.1986.233070
Filename
1695472
Link To Document