Programming with Invariants
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.
Recommended Citation
R. Paige, "Programming with Invariants," IEEE Software, Institute of Electrical and Electronics Engineers (IEEE), Jan 1986.
The definitive version is available at https://doi.org/10.1109/MS.1986.233070
Department(s)
Mathematics and Statistics
International Standard Serial Number (ISSN)
0740-7459
Document Type
Article - Journal
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 1986 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
01 Jan 1986
