The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (1986 vol. 3)
ISSN: 0740-7459
pp: 56-69
R. Paige , Rutgers University
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.
INDEX TERMS
null
CITATION
R. Paige, "Programming with Invariants", IEEE Software, vol. 3, no. , pp. 56-69, January/February 1986, doi:10.1109/MS.1986.233070
109 ms
(Ver )