Programming with Invariants
- 1 January 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 3 (1) , 56-69
- https://doi.org/10.1109/ms.1986.233070
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.Keywords
This publication has 23 references indexed in Scilit:
- The Electronic Numerical Integrator and Computer (ENIAC)IEEE Annals of the History of Computing, 1996
- A new notion of encapsulationACM SIGPLAN Notices, 1985
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- A Unified Approach to Path ProblemsJournal of the ACM, 1981
- Programming by Refinement, as Exemplified by the SETL Representation SublanguageACM Transactions on Programming Languages and Systems, 1979
- An algorithm for reduction of operator strengthCommunications of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- High level iterators and a method for automatically designing data structure representationComputer Languages, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Sequential formula translationCommunications of the ACM, 1960