The Power of Pluralism for Automatic Program Synthesis
- 1 October 1982
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 29 (4) , 1144-1165
- https://doi.org/10.1145/322344.322356
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A theory of software reliability and its applicationIEEE Transactions on Software Engineering, 1975
- Periodicity in generations of automataTheory of Computing Systems, 1974
- Gödel numberings of partial recursive functionsThe Journal of Symbolic Logic, 1958