Author:
Pettorossi Alberto,Proietti Maurizio
Publisher
Springer Berlin Heidelberg
Reference56 articles.
1. J. Arsac and Y. Kodratoff. Some techniques for recursion removal from recursive functions. ACM Transactions on Programming Languages and Systems, 4(2):295–322, 1982.
2. R. Barbuti, R. Giacobazzi, and G. Levi. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Transactions on Programming Languages and Systems, 15(1):133–181, 1993.
3. R. S. Bird. Tabulation techniques for recursive programs. ACM Computing Surveys, 12(4):403–418, 1980.
4. R. S. Bird. The promotion and accumulation strategies in transformational programming. ACM Toplas, 6(4):487–504, 1984.
5. D. Bjørner, A. P. Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation. North-Holland, 1988. IFIP TC2 Workshop on Partial and Mixed Computation, Gammel AvernÆs, Denmark, 1987.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献