Nonexistence of program optimizers in several abstract settings
- 30 June 1976
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 12 (3), 368-393
- https://doi.org/10.1016/s0022-0000(76)80008-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Time bounded random access machinesJournal of Computer and System Sciences, 1973
- A Classification of the Recursive FunctionsMathematical Logic Quarterly, 1972
- Computational complexity of random access stored program machinesTheory of Computing Systems, 1971
- An Overview of the Theory of Computational ComplexityJournal of the ACM, 1971
- Some Results on Tape-Bounded Turing MachinesJournal of the ACM, 1969
- A Machine-Independent Theory of the Complexity of Recursive FunctionsJournal of the ACM, 1967
- Random-Access Stored-Program Machines, an Approach to Programming LanguagesJournal of the ACM, 1964