Title

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.

Department(s)

Mathematics and Statistics

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.

Share

 
COinS