Programming with Invariants

Author

Robert Paige L., Missouri University of Science and TechnologyFollow

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