U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247--259, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamizing Static Algorithms, with Applications to.. - Acar, Blelloch.. (2003) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247--259, 2002.
Adaptive Functional Programming - Acar, Blelloch, Harper (2002) (2 citations) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), January 2002.
Adaptive Memoization - Umut Acar Guy Self-citation (Acar Blelloch Harper) (Correct)
No context found.
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.
Self-Adjusting Programming - Umut Acar Guy Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247--259, 2002.
Adaptive Memoization - Umut Acar Guy Self-citation (Acar Blelloch Harper) (Correct)
No context found.
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.
Adaptive Functional Programming - Umut Acar Guy (2001) (2 citations) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
Umut A. Acar, Guy E. Blelloch, and Robert W. Harper. Adaptive functional programming. Technical Report CMUCS -01-161, Carnegie Mellon University, Computer Science Department, November 2001.
A Programming Language for Probabilistic Computation - Park (2005) Self-citation (Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 247--259. ACM Press, 2002.
Selective Memoization - Umut Acar Guy (2003) (1 citation) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth Annual ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan. 2002.
Dynamizing Static Algorithms, with Applications to.. - Acar, Blelloch.. (2004) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247--259, 2002.
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth Annual ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan. 2002.
Adaptive Memoization - Acar, Blelloch, Harper (2004) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
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.
Adaptive Memoization - Acar, Blelloch, Harper (2003) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
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.
Dynamizing Static Algorithms, with Applications to.. - Acar, Blelloch.. (2003) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247--259, 2002.
A Modal Language for Effects - Park, Harper (2004) Self-citation (Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 247--259. ACM Press, 2002.
Adaptive Memoization - Umut Acar Guy Self-citation (Acar Blelloch Harper) (Correct)
No context found.
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.
Selective Memoization - Umut Acar Guy (2003) (1 citation) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth Annual ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan. 2002.
Adaptive Functional Programming - Umut Acar Guy (2001) (2 citations) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), January 2002.
Selective Memoization - Acar, Blelloch, Harper (2003) (1 citation) Self-citation (Acar Blelloch Harper) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth Annual ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan. 2002.
Adaptive Functional Programming - Acar, Blelloch, Harper (2001) (2 citations) Self-citation (Acar Blelloch Harper) (Correct)
....dependencies among them. Thus preservation for AFL ensures that no cycles can arise during evaluation, which is consistent with pure functional programming. Space considerations preclude a rigorous presentation of type safety for AFL. A complete proof is given in the companion technical report [1]. 6 Change Propagation is Sound We formalize the notion of an input change and present a formal version of the change propagation algorithm. Using this formal framework, we prove that the change propagation algorithm is correct. Changing the Input. We represent an input change with a di erence ....
....(a; b) 2 B and (a ; b) 2 B then a = a A partial bijection, B can be applied to a trace T or a store , denoted B[T ] and B[ by replacing each location l in T or with its image B[l] whenever the image is de ned. The formal de nitions for these are given in the companion technical report [1]. The theorem below states that the change propagation algorithm is correct, the proof of the theorem is given in the companion technical report [1] In the theorem, the reason that the store m is a super set of s is that m contains remnant locations from the initial evaluation, ....
[Article contains additional citation context not shown here]
Umut A. Acar, Guy E. Blelloch, and Robert W. Harper. Adaptive functional programming. Technical Report CMUCS -01-161, Carnegie Mellon University, Computer Science Department, November 2001.
Adaptive Functional Programming - Acar, Blelloch, Harper (2001) (2 citations) Self-citation (Acar Blelloch Harper) (Correct)
....which can only be checked at run time in the ML library. Based on the AFL dynamic semantics, we formalize the change propagation algorithm and prove its correctness. This research was supported in part by NSF grants CCR 9706572, CCR 0085982, and CCR 0122581. This report is a complete version of [1]. 1 Keywords: Incremental Computing, Functional Languages, Dynamic Algorithms 2 1 Introduction An adaptive program responds to input changes by updating its output while only re evaluating those portions of the program affected by the change. Adaptive programming is useful in situations where ....
Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. In Proceedings of the Twenty-ninth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), January 2002.
Adaptive Functional Programming - Acar, Blelloch, Harper (2001) (2 citations) Self-citation (Acar Blelloch Harper) (Correct)
....dependencies among them. Thus preservation for AFL ensures that no cycles can arise during evaluation, which is consistent with pure functional programming. Space considerations preclude a rigorous presentation of type safety for AFL. A complete proof is given in the companion technical report [1]. 6 Change Propagation is Sound We formalize the notion of an input change and present a formal version of the change propagation algorithm. Using this formal framework, we prove that the change propagation algorithm is correct. Changing the Input. We represent an input change with a di#erence ....
....# B and (a # , b) # B then a = a # . A partial bijection, B can be applied to a trace T or a store #, denoted B[T ] and B[#] by replacing each location l in T or # with its image B[l] whenever the image is defined. The formal definitions for these are given in the companion technical report [1]. The theorem below states that the change propagation algorithm is correct, the proof of the theorem is given in the companion technical report [1] In the theorem, the reason that the store # # m is a super set of # # s is that # # m contains remnant locations from the initial evaluation, ....
[Article contains additional citation context not shown here]
Umut A. Acar, Guy E. Blelloch, and Robert W. Harper. Adaptive functional programming. Technical Report CMUCS -01-161, Carnegie Mellon University, Computer Science Department, November 2001.
FrTime: Functional Reactive Programming in PLT Scheme - Cooper, Krishnamurthi (2004) (Correct)
No context found.
U. A. Acar, G. E. Blelloch, and R. Harper. Adaptive functional programming. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 247--259, 2002.
Monads for Incremental Computing - Functional Pearl - Carlsson (2002) (Correct)
No context found.
U. Acar, G. Blelloch, , and R. Harper. Adaptive functional programming. In Principles of Programming Languages (POPL02), Portland, Oregon, January 2002. ACM.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC