Programming with Invariants
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.
R. Paige, "Programming with Invariants," IEEE Software, Institute of Electrical and Electronics Engineers (IEEE), Jan 1986.
The definitive version is available at http://dx.doi.org/10.1109/MS.1986.233070
Mathematics and Statistics
Article - Journal
© 1986 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.