Incremental computation via partial evaluation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1991, Pages 1-13

  Sundaresh, R S ^a   Hudaki, Paul ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INCREMENTAL ALGORITHM; INCREMENTAL COMPUTATION; INCREMENTAL INTERPRETATION; OVERALL EFFICIENCY; PARTIAL EVALUATION; PRECISE DEFINITION; PRIMARY TASK; PROGRAMMING ENVIRONMENT;

PROGRAM DEBUGGING;

EID: 85009482125     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99583.99587     Document Type: Conference Paper

References (17)

1. C. Consel and O. Danvy, From interpreting to compiling binding times, In Proceedings of the l European Symposium on Programming, Lecture Notes in Computer Science, Vol.-82. Springer-Verlag, May 1990.
2. 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.
3. Y. Futamura. Partial evaluation of computation process-Am approach to a compiler-compiler. Systems, computers, Controls, 2(5), 1971.
4. P. Hudak and P. Wadler (editors). Report on the programming language Haskell. Technical Report YALEU/DCS/RR-777, YaJe University, Department of Computer Science, April 1990.
5. N. D. Jones, P. Sestoft, and H. Sondergaard. Mix: A self-Applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, 2(1), 1989.
6. D, Knuth, Semantics of context-free languages. Math Systems Theory, 2(2):127-145, February 1968.
7. J. Launchbury. Projections for specialisation. In A. P. Ershov D. BjOrner and N. D. Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988.
8. L. A. Lombardi and B. Raphael. Lisp as the language for an incremental computer. In The Programming Language LISP: Its Operation and Applications, pages 204-219. Information International Inc., The MIT Press, 1964.
9. 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.
10. J. C. C. McKinsey and A. Tarski. On closed elements in closure algebras. A nnais of Mathematics, 47(1), January 1946.
11. W. W. Pugh, Jr. Incremental Computation and the Incremental Evaluation of Functional Programs. PhD thesis, Cornell University, August 1988.
12. T. W. Reps. Generating Language-Based Environments. The MIT Press, 1984.
13. T. Reps. Algebraic properties of program integration. In Proceedings of the 3rd European Symposium on Programming, Lecture Notes in Computer Science, Vol. 43.2. Springer-Verlag, May 1990.
14. T. Reps, T. Teitelbaum, and A. Demers. Incremental context dependent analysis for languagebased editors. ACM Transactions on Programming Languages and Systems, 5(3):449-477, July 1983.
15. R. S. Sundaresh. Implementing incremental computation via partial evaluation. Technical Report YALEU/DCS/RR828, Yale University, Department of Computer Science, November 1990.
16. R, S. Sundaresh. Incremental Computation and Partial Evaluation. PhD thesis, Yale University, (Forthcoming) 1991.
17. D. Yellin and R. Strom. INC: A language for incremental computation. Technical report, IBM, RC 14375 (#64375) 1989.