Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
- 1 January 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 26 (1) , 129-147
- https://doi.org/10.1145/322108.322121
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Even Simple Programs Are Hard To AnalyzeJournal of the ACM, 1977
- Program proving: CoroutinesActa Informatica, 1973
- Performance predictions for extended paged memoriesActa Informatica, 1971
- The contour model of block structured processesACM SIGPLAN Notices, 1971
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- Formalization of Properties of Functional ProgramsJournal of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Revised report on the algorithmic language ALGOL 60Communications of the ACM, 1963