Formal development of correct algorithms
- 1 January 1972
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 7 (1), 150-169
- https://doi.org/10.1145/942578.807083
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- An efficient context-free parsing algorithmCommunications of the ACM, 1970