Building incremental programs using partial evaluation

ACM SIGPLAN Notices

Volumn 26, Issue 9, 1991, Pages 83-93

  Sundaresh, R S ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976720634     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/115866.115875     Document Type: Article

References (16)

1. D. Bjørner, A.P. Ershov, and N.D. Jones, editors. Partial Evaluation and Mixed Computation. North-Holland, 1988.
2. C. Consel and O. Danvy. From interpreting to compiling binding times. In Proceedings of the 3rd European Symposium on Programming, Lecture Notes in Computer Science, Vol. 432. Springer-Verlag, May 1990.
3. C. Consel. New insights into partial evaluation: the schism experiment. In ESOP'88, 2nd European Symposium on Programming, Nancy, France, volume 300 of Lecture Notes in Computer Science. Springer-Verlag, March 1988.
4. C. Consel. Binding time analysis for higher order untyped functional languages. In Proceedings of the 1990 ACM Conference on Lisp and Functional Languages, June 1990.
5. C. Consel. The Schism Manual. Yale University, Department of Computer Science, November 1990.
6. J. Field and T. Teitelbaum. Incremental reduction in the lambda calculus. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, June 1990.
7. Y. Futamura. Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers, Controls, 2(5), 1971.
8. N. D. Jones, P. Sestoft, and H. Søndergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, 2(1), 1989.
9. J. Launchbury. Projections for specialisation. In A.P.Ershov D.Bjørner and N.D.Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988.
10. J. Launchbury. Projection Factorisations in Partial Evaluation. PhD thesis, University of Glasgow, January 1990.
11. T. J. Marlowe and B. G. Ryder. An efficient hybrid algorithm for incremental data flow analysis. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990.
12. W. W. Pugh, Jr. Incremental Computation and the Incremental Evaluation of Functional Programs. PhD thesis, Cornell University, August 1988.
13. R. S. Sundaresh and Paul Hudak. Incremental computation via partial evaluation. In Conference Record of the Eighteenth Annual ACM
14. SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 1991.
15. R. S. Sundaresh. Incremental Computation and Partial Evaluation. PhD thesis, Yale University, (Forthcoming) 1991.
16. D. Yellin and R. Strom. INC: A language for incremental computation. Technical report, IBM, RC 14375(#64375) 1989.