- CD90.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. Google ScholarDigital Library
- FT90.J. Field and T. Teitelbaum. Incremental reduction in the lambda calculus, in Proceedings of the 1990 A CM Conference on Lisp and Functional Programming, June 1990. Google ScholarDigital Library
- Fut71.Y. Futamura. Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers, Controls, 2(5), 1971.Google Scholar
- HWe90.P. Hudak and P. Wadler (editors). Report on the programming language Haskell. Technical Report YALEU/DCS/RR-777, Yale University, Department of Computer Science, April 1990.Google Scholar
- JSS89.N.D. Jones, P. Sestoft, and H. Sendergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation. Lisp and Symbolic Computation, 2(1), 1989.Google Scholar
- Knu68.D. Knuth. Semantics of context-free languages. Math Systems Theory, 2(2):127-145, February 1968.Google ScholarCross Ref
- Lau88.J. Launchbury. Projections for specialisation. In A.P.Ershov D.Bjerner and N.D.Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988.Google Scholar
- LR64.L.A. Lombardi and B. Raphael. Lisp as the language for an incremental computer. In The Programming Language LISP: lts Operation and Applications, pages 204-219. information International Inc., The MIT Press, 1964.Google Scholar
- MR90.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. Google ScholarDigital Library
- MT46.J.C.C. McKinsey and A. Tarski. On closed elements in closure algebras. Annals of Mathematics, 47(1), January 1946.Google Scholar
- Pug88.W. W. Pugh, Jr. Incremental Computation and the Incremental Evaluation of Functional Programs. PhD thesis, Cornell University, August 1988. Google ScholarDigital Library
- Rep84.T.W. Reps. Generating Language-Based Environments. The MIT Press, 1984. Google ScholarDigital Library
- Rep90.T. Reps. Algebraic properties of program integration. In Proceedings of the 3rd European Symposium on Programming, Lecture Notes in Computer Science, Vol. ~32. Springer-Verlag, May 1990. Google ScholarDigital Library
- RTD83.T. Reps, T. Teitelbaum, and A. Demers. Incremental context dependent analysis for languagebased editors. A CM Transactions on Programming Languages and Systems, 5(3):449-477, July 1983. Google ScholarDigital Library
- Sun90.R.S. Sundaresh. Implementing incremental computaion via partial evaluation. Technical Report YALEU/DCS/RR828, Yale University, Department of Computer Science, November 1990.Google Scholar
- Sun91.R.S. Sundaresh. Incremental Computation and Partial Evaluation. PhD thesis, Yale University, (Forthcoming) 1991. Google ScholarDigital Library
- YS89.D. Yellin and R. Strom. INC: A language for incremental computation. Technical report, IBM, RC 14375(#64375) 1989.Google Scholar
Index Terms
- A theory of incremental computation and its application
Recommendations
Incremental computation with names
OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsOver the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently update the result of a computation when an input is changed. A key design ...
Incremental computation with names
OOPSLA '15Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently update the result of a computation when an input is changed. A key design ...
Comments