Automatic synthesis of optimal invariant assertions
- 1 August 1977
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 12 (8) , 1-12
- https://doi.org/10.1145/872734.806926
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Logical analysis of programsCommunications of the ACM, 1976
- Symbolic evaluation of programsPublished by Association for Computing Machinery (ACM) ,1976
- Mechanical program analysisCommunications of the ACM, 1975
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955