Compiling self-adjusting programs with continuations

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 321-333

  Ley Wild, Ruy ^a   Fluet, Matthew ^b   Acar, Umut A ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO   (United States)

Author keywords

Continuation passing style; Memoization; Self adjusting computation

Indexed keywords

ASYMPTOTIC BOUNDS; CHANGE PROPAGATION; COMPILATION TECHNIQUES; CONSTANT FACTORS; CONTINUATION-PASSING STYLE; DATA DEPENDENCES; DYNAMIC DATUM; ERROR-PRONE; MEMOIZATION; NATURAL PROGRAMMING; OPTIMIZING COMPILERS; SELF-ADJUSTING COMPUTATION; STANDARD ML;

CODES (SYMBOLS); COMPUTER PROGRAMMING; FOURIER TRANSFORMS; FUNCTIONAL PROGRAMMING; INPUT OUTPUT PROGRAMS; LINGUISTICS; PROGRAMMING THEORY;

PROGRAM COMPILERS;

EID: 59249103762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411249     Document Type: Conference Paper

References (41)

1. MLton. http://mlton.org/.
2. Flapjax programming language, www.flapjax-lang.org.
3. Martín Abadi, Butler W. Lampson, and Jean-Jacques Levy. Analysis and Caching of Dependencies. In Proceedings of the International Conference on Functional Programming (ICFP), pages 83-91, 1996.
4. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive Functional Programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247-259, 2002.
5. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Selective memoization. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL), 2003.
6. Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, and Kanat Tangwongsan. A Library for Self-Adjusting Computation. Electronic Notes in Theoretical Computer Science, 148(2), 2006a.
7. Umut A. Acar, Guy E. Blelloch, Matthias Blume, and Kanat Tangwongsan. An experimental analysis of self-adjusting computation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2006b.
8. Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Jorge L. Vittes. Kinetic Algorithms via Self-Adjusting Computation. In Proceedings of the 14th Annual European Symposium on Algorithms (ESA), pages 636-647, September 2006c.
9. Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Özgür Sümer. Adaptive Bayesian Inference. In Neural Information Processing Systems (NIPS), 2007.
10. Umut A. Acar, Amal Ahmed, and Matthias Blume. Imperative self-adjusting computation. In Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages (POPL), 2008a.
11. Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Dum Türkoǧlu. Robust Kinetic Convex Hulls in 3D. In Proceedings of the 16th Annual European Symposium on Algorithms (ESA), September 2008b.
12. Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Özgür Sümer. Adaptive Inference on General Graphical Models. In Uncertainty in Artificial Intelligence (UAI), 2008c.
13. C. Bradford Barber, David P. Dobkin, and Hannu Huhdanpaa. The Quick-hull Algorithm, for Convex Hulls. ACM Trans. Math. Softw., 22(4):469-483, 1996.
14. Richard Bellman. Dynamic Programming. Princeton. University Press, 1957.
15. Kimberley Burchett, Gregory H. Cooper, and Shriram Krishnamurthi. Lowering: A Static Optimization Technique for Transparent Functional Reactivity. In PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 71-80. ACM, 2007.
16. Magnus Carlsson. Monads for Incremental Computing. In Proceedings of the 7th ACM SIGPLAN International Conference on Functional programming (ICFP), pages 26-35. ACM Press, 2002.
17. Gregory H. Cooper and Shriram Krishnamurthi. FrTime: Functional Reactive Programming in PLT Scheme. Technical Report CS-03-20, Department of Computer Science, Brown University, April 2004.
18. Gregory H. Cooper and Shriram Krishnamurthi. Embedding Dynamic Dataflow in a Call-by-Value Language. In Proceedings of the 15th Annual. European Symposium on Programming (ESOP), 2006.
19. Antony Courtney. Frappé: Functional Reactive Programming in Java. In PADL '01: Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages, pages 29-44. Springer-Verlag, 2001.
20. Olivier Danvy and John Hatcliff. CPS Transformation after Strictness Analysis. Letters on Programming Languages and Systems (LOPLS), 1(3):195-212, 1993a.
21. Olivier Danvy and John Hatcliff. On the Transformation between Direct and Continuation Semantics. In Proceedings of the Ninth Conference on Mathematical Foundations of Programming Semantics (MFPS), pages 627-648, 1993b.
22. Alan Demers, Thomas Reps, and Tim Teitelbaum. Incremental Evaluation of Attribute Grammars with Application to Syntax-directed Editors. In Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages, pages 105-116, 1981.
23. Conal Elliott. Functional Implementations of Continuous Modeled Animation. Lecture Notes in Computer Science, 1490:284-299, 1998.
24. Conal Elliott and Paul Hudak. Functional Reactive Animation. In ICFP "97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pages 263-273. ACM, 1997.
25. Matthew Hammer and Umut A. Acar. Memory Management for Self-Adjusting Computation. In The 2008 International Symposium on Memory Management, 2008.
26. Fritz Henglein, Henning Makholm, and Henning Niss. Effect Types and Region-based Memory Management. In Benjamin Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 3, pages 87-135. MIT Press, Cambridge, MA, 2005.
27. Allan Heydon, Roy Levin, and Yuan Yu. Caching Function Calls Using Precise Dependencies. In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 3.11-320, 2000.
28. Jung-taek Kim and Kwangkeun Yi. Interconnecting Between CPS Terms and Non-CPS Terms. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW), pages 7-16, 2001.
29. Jung-taek Kim, Kwangkeun Yi, and Olivier Danvy. Assessing the Overhead of ML Exceptions. In Proceedings of the ACM SIGPLAN Workshop on ML, pages 112-119, 1998.
30. Yanhong A. Liu, Scott Stoller, and Tim Teitelbaum. Static Caching for Incremental Computation. ACM Transactions on Programming Languages and Systems, 20(3):546-585, 1998.
31. John McCarthy. A Basis for a Mathematical Theory of Computation. In P. Braffort and D. Hirschberg, editors, Computer Programming and Formal Systems, pages 33-70. North-Holland, Amsterdam, 1963.
32. D. Michie. "Memo" Functions and Machine Learning. Nature, 218:19-22, 1968.
33. Lasse Nielsen. A Selective CPS Transformation. In Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS), volume 45 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 311-33.1. Elsevier, November 2001.
34. Henrik Nilsson, Antony Courtney, and John Peterson. Functional Reactive Programming, Continued. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell'02), pages 51-64, Pittsburgh, Pennsylvania, USA, October 2002. ACM Press.
35. F. P. Preparata and M. I. Shamos. Computational Geometry. Springer-Verlag Inc., 1985.
36. William. Pugh and Tim Teitelbaum. Incremental computation via function caching. In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, pages 315-328, 1989.
37. G. Ramalingam and T. Reps. A Categorized Bibliography on Incremental Computation. In Proceedings of the 20th Annual ACM Symposium on Principles of Programming Languages (POPL), pages 502-510, 1993.
38. Thomas Reps. Optimal-time incremental semantic analysis for syntax-directed editors. In Proceedings of the 9th Annual Symposium on Principles of Programming Languages (POPL), pages 169-176, 1982.
39. Ajeet Shankar and Rastislav Bodik. DITTO: Automatic Incrementalization of Data Structure Invariant Checks (in Java). In Proceedings of the ACMSIGPLAN2007 Conference on Programming language Design and Implementation (PLDI), 2007.
40. Hayo Thielecke. Comparing Control Constructs by Double-barrelled CPS. Higher-Order and Symbolic Computation, 15(2/3):367-412, 2002.
41. D. M. Yellin and R. E. Strom. INC: A Language for Incremental Computations. ACM Transactions on Programming Languages and Systems, 13 (2):211-236, April 1991.