Editorial

Higher-Order and Symbolic Computation - Tập 16 - Trang 5-6 - 2003
Olivier Danvy1, Fritz Henglein2, Harry Mairson3, Alberto Pettorossi4
1BRICS, University of Aarhus, Denmark
2University of Copenhagen, Denmark
3Brandeis University, Massachusetts, USA
4Università di Roma Tor Vergata, Italy

Tài liệu tham khảo

Burstall, R.M. and Darlington, J. Some transformations for developing recursive programs. In Proceedings of the International Conference on Reliable Software, Los Angeles, USA, 1975, pp. 465–472. Walker, S.A. and Strong, H.R. Characterization of flowchartable recursions. In Proceedings 4th Annual ACM Symposium on Theory of Computing, Denver, CO, USA, 1972.
Thông tin
Thông tin xuất bản

Higher-Order and Symbolic Computation

Tập 16

5-6

Thông tin tác giả