The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1986 vol.3)
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. 1, pp. 56-69, January/February 1986, doi:10.1109/MS.1986.233070
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool