This research has been supported by National Science Foundation grant GJ-33168.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Alton, D. A., Diversity of speedups and embeddability in computational complexity, Tech. Rep. 73-01, Dept. of Computer Science, Univ. of Iowa, available as Report NSF-OCA-GJ-33168-01 (accession no. PB-221089) from National Technical Information Service, U.S. Dept. of Commerce, Springfield, Va. 22151, to appear in shorter version, J. of Symbolic Logic.
—, Non-existence of program optimizers in an abstract setting, Tech. Rep. 73-08, Dept. of Computer Science, Univ. of Iowa, available as Report NSF-OCA-GJ-33168-02 (accession number PB-226 464/AS) from National Technical Information Service, U.S. Dept. of Commerce, Springfield, Va. 22151.
—, revision of [2], to appear, J. Comput. System Sci.
Blum, M., A machine-independent theory of the complexity of recursive functions, J. Assoc. Comput. Mach. 14, 322–336 (1967).
—, On effective procedures for speeding up algorithms, J. Assoc. Comput. Mach. 18, 290–305 (1971).
Cobham, A., The intrinsic computational difficulty of functions, in Logic, Methodology, and Philosophy of Science (Proc. 1964 Internat. Conf., ed. Bar-Hillel, North Holland, 1965), 24–30.
Constable, R., Two types of hierarchy theorems for axiomatic complexity classes, in Computational Complexity (Courant Comp. Sci. Symp. 7, ed. Rustin, Algorithmics Press, New York, 1973), 37–63.
— and Borodin, A., Subrecursive programming languages 1: efficiency and program structure, J. Assoc. Comput. Mach. 19, 526–568 (1972).
Cook, S., and Reckhow, R., Time bounded random access machines, J. Comput. System Sci. 7, 354–375 (1973).
Grzegorczyk, A., Some classes of recursive functions, Rozprawy Mat. 4 (1953).
Hartmanis, J., Computational complexity of random access stored program machines, Math. Systems Theory 5, 232–245 (1971).
— and Hopcroft, J., An overview of the theory of computational complexity, J. Assoc. Comput. Mach. 18, 444–475 (1971).
Lowther, J., The existence and non-existence of optimizers for subrecursive programming languages, Ph.D. dissertation, The University of Iowa, in preparation.
Ritchie, R., Classes of predictably computable functions, Trans. Amer. Math. Soc. 106, 139–173 (1963).
Rogers, R., Theory of recursive functions and effective computability, McGraw-Hill, 1967.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alton, D.A., Lowther, J.L. (1974). Non-existence of program optimizers in an abstract setting. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_138
Download citation
DOI: https://doi.org/10.1007/3-540-06859-7_138
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06859-4
Online ISBN: 978-3-540-37819-8
eBook Packages: Springer Book Archive