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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1210011
