A necessary and sufficient condition for the existence of hoare logics
- 1 September 1977
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02725428,p. 1-6
- https://doi.org/10.1109/sfcs.1977.1
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Programming language constructs for which it is impossible to obtain good hoare-like axiom systemsPublished by Association for Computing Machinery (ACM) ,1977
- Computability and completeness in logics of programs (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1977