A case against the GOTO
- 1 November 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 7 (11) , 63-69
- https://doi.org/10.1145/987361.987372
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Inductive methods for proving properties of programsPublished by Association for Computing Machinery (ACM) ,1972
- An algebraic description of programs with assertions, verification and simulationPublished by Association for Computing Machinery (ACM) ,1972
- BLISSCommunications of the ACM, 1971
- Program development by stepwise refinementCommunications of the ACM, 1971
- Reflections on a systems programming languagePublished by Association for Computing Machinery (ACM) ,1971
- Proof of a programCommunications of the ACM, 1971
- Object code optimizationCommunications of the ACM, 1969
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966