Complexity of Synthesizing Inductive Assertions
- 1 July 1977
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 24 (3) , 504-512
- https://doi.org/10.1145/322017.322029
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A synthesizer of inductive assertionsIEEE Transactions on Software Engineering, 1975
- Proving loop programsIEEE Transactions on Software Engineering, 1975
- The synthesis of loop predicatesCommunications of the ACM, 1974
- The correctness of programsJournal of Computer and System Sciences, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967