Efficient compilation of linear recursive programs

14th Annual Symposium on Switching and Automata Theory

Volumn , Issue , 1973, Pages 16-25

  Chandra, Ashok K ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

LINEAR RECURSION; RECURSIONS; RECURSIVE PROGRAMS; SPACE PROGRAMS; SPEED UP; STACK IMPLEMENTATION;

SWITCHING THEORY;

EID: 84976813455     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SWAT.1973.4569724     Document Type: Conference Paper

References (12)

1. Chandra, A. K., "Efficient Compilation of Linear Recursive Programs", Technical Report No. CS-282, AIM-167, Computer Science Dept., Stanford University, April 1972.
2. Chandra, A. K., "On the Properties and Applications of Program Schemas", Ph. D. Thesis, Technical Report No. CS-336, AIM-18a, Computer Science Dept., Stanford University, March 1973.
3. Chandra, A. K., "Optimal Solution of the Reversing Problem", Research Report, IBM Thomas J. Watson Research Center, Yorktown Heights, (to appear).
4. Chandra, A. K., Manna, Z., "Program Schemas With Equality", Proceedings of the Fourth Annual ACM Symposium on Theory of Computing, Denver, Colorado, May 1972, pp. 52-64.
5. Constable, R. L., and Gries, D., "On Classes of Program Schemata", SIAM Journal on Computing, Vol. 1., No. 1, March 1972, pp. 66-118.
6. Garland, S. J., and Luckham, D. C, "Program Schemes, Recursion Schemes, and Formal Languages", UCLA Report No. ENG-7154, June 1971.
7. Gries, D., "Compiler Construction for Digital Computers", John Wiley and Sons, Inc., New York, 1971.
8. Hewitt, C, "More Comparative Schematology", Artificial Intelligence Memo No. 207, Project MAC, M. I. T., August 1970.
9. Hopgood, F. R. A., "Compiling Techniques", American Elsevier, Inc., New YorK, 1969.
10. McCarthy, J., "Towards a Mathematical Science of Computation", Proc. ICiP, 1962.
11. Paterson, M. S., and Hewitt, C. E., "Comparative Schematology", Artificial Intelligence Memo, No. 201, Project MAC, M. I. T., November 1970.
12. Strong, H. R., and Walker, S. A., "Properties Preserved Under Recursion Removal", pp. 97-103 in the Proceedings of the ACM Conference on Proving Assertions about Programs, Las Cruces, January 1972.