Formal development of correct algorithms
- 1 January 1972
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- No. 14,p. 150-169
- https://doi.org/10.1145/942580.807083
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- An efficient context-free parsing algorithmCommunications of the ACM, 1970