On One Approach to Optimization of Recursive Function Computations
Abstract
The goal of this work is the theoretical justification and the development of a new optimizer that synthesizes programs calculating multivariate recursive functions and systems of functions.
The current version of the optimizer processes a wide category of multivariate systems of recursive functions using two algorithms - stack recursion optimization and combined total replacement optimization.
The results of this work can be used in development of packages, calculating the systems of recursive functions, modeling discrete multivariate systems with complex interconnections, solving boundary-value and field-value problems, etc.
References
Маранджян Г.Б, “Ободном методе синтеза программ числовых функций”, Математические вопросы кибернетики и вычислительной техники, XVI, 1986.
Marandjian H., General form recursive equations, CSL, pp. 501-511, 1994.
Manna, Z., Theory of Computation. NY, McGrow-Hill 1978.
Barron D., Recursive methods in programming, General Editor: Stanley Gill Associate Editor: J.J. Florentin, 1969.
Aho A.V., Hopcroft J.E. and Ulman J.D., Data Structures and Algoritms. Addison-Wesley, Reading, Massachusetts. 1983.
Barendregt, H.P., The lambda calculus. Its syntax and semantics, North-Holland, 1984.
Ghazaryan A., On one method of flexible numeration, Proceedings of the conference, CSIT, p. 15, 1997.
Knaster B. Une theorem sur les fonctions d'ensembles. Annales Soc. Polonaise Math., 62, pp. 133-134, 1927.
Rice H.G., Classes of recursively enumerable sets and their decision problems, Trans. Amer. Math. Soc, pp. 358-366, 1974.
Kleene, S.C., Introduction to Metamathematics. New York-Toronto, D. Van Nostrand Co., Inc., 1952.
Халатян, И.Г., Пакет прикладных программ - автоматический программный синтез. Тезисы докладов Третьей Республиканской конференции аспирантов Армянской ССР, Часть 2, Ереван, сс. 16-17, 1989.
Amdahl G.M., Validity of the single-processor approach to achieving large scale computing capabilities. In AFIPS Conference Proceedings vol. 30 (Atlantic City, N.J., Apr. 18-20). AFIPS Press, Reston, Va., pp. 483-485,1967.
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
