Author:
Liu Yanhong A.,Stoller Scott D.
Reference64 articles.
1. M. Abadi, B. Lampson, and J.-J. Lévy: Analysis and caching of dependencies. In Proceedings of the 1996 ACM Sigplan International Conference on Functional Programming, 83–91. ACM, New York, 1996.
2. A. V. Aho, J. E. Hopcroft, and J. D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, MA, 1974.
3. F. L. Bauer, B. Möller, H. Partsch, and P. Pepper: Formal program construction by transformations—Computer-aided, intuition-guided programming. IEEE Trans. Softw. Eng., 15(2):165–180, Feb. 1989.
4. R. E. Bellman: Dynamic Programming. Princeton University Press, Princeton, NJ, 1957.
5. R. S. Bird: Tabulation techniques for recursive programs. ACM Comput. Surv., 12(4):403–417, Dec. 1980.