The specification of program flow in Madcap 6
- 1 November 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 7 (11) , 28-35
- https://doi.org/10.1145/987361.987366
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- BLISSCommunications of the ACM, 1971
- Program development by stepwise refinementCommunications of the ACM, 1971
- A constructive approach to the problem of program correctnessBIT Numerical Mathematics, 1968
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968
- Nondeterministic AlgorithmsJournal of the ACM, 1967
- EULERCommunications of the ACM, 1966
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Design of a separable transition-diagram compilerCommunications of the ACM, 1963