-
1
-
-
0029694540
-
Analysis and caching of dependencies
-
ABADI, M., LAMPSON, B. W., AND LEVY, J.-J. 1996. Analysis and caching of dependencies. In Proceedings of the International Conference on Functional Programming, pp. 83-91.
-
(1996)
Proceedings of the International Conference on Functional Programming
, pp. 83-91
-
-
Abadi, M.1
Lampson, B.W.2
Levy, J.-J.3
-
2
-
-
33644905683
-
-
Ph.D. dissertation. Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May
-
ACAR, U. A. 2005. Self-Adjusting Computation. Ph.D. dissertation. Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May.
-
(2005)
Self-adjusting Computation
-
-
Acar, U.A.1
-
3
-
-
0037967781
-
Selective memoization
-
ACM, New York
-
ACAR, U. A., BLELLOCH, G. E., AND HARPER, R. 2003. Selective memoization. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages. ACM, New York.
-
(2003)
Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages
-
-
Acar, U.A.1
Blelloch, G.E.2
Harper, R.3
-
4
-
-
1842539518
-
Dynamizing static algorithms with applications to dynamic trees and history independence
-
ACM, New York
-
ACAR, U. A., BLELLOCH, G. E., HARPER, R., VITTES, J. L., AND WOO, M. 2004. Dynamizing static algorithms with applications to dynamic trees and history independence. In Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA). ACM, New York.
-
(2004)
Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA)
-
-
Acar, U.A.1
Blelloch, G.E.2
Harper, R.3
Vittes, J.L.4
Woo, M.5
-
5
-
-
33745190410
-
A library for self-adjusting computation
-
ACM, New York
-
ACAR, U. A., BLELLOCH, G. E., BLUME, M., HARPER, R., AND TANGWONGSAN, K. 2005a. A library for self-adjusting computation. In Proceedings of the ACM SIGPLAN Workshop on ML. ACM, New York.
-
(2005)
Proceedings of the ACM SIGPLAN Workshop on ML
-
-
Acar, U.A.1
Blelloch, G.E.2
Blume, M.3
Harper, R.4
Tangwongsan, K.5
-
6
-
-
32144436453
-
An experimental analysis of change propagation in dynamic trees
-
ACM, New York
-
ACAR, U. A., BLELLOCH, G. E., AND VITTES, J. L. 2005b. An experimental analysis of change propagation in dynamic trees. In Proceedings of the Workshop on Algorithm Engineering and Experimentation. ACM, New York.
-
(2005)
Proceedings of the Workshop on Algorithm Engineering and Experimentation
-
-
Acar, U.A.1
Blelloch, G.E.2
Vittes, J.L.3
-
7
-
-
0001725273
-
Data structures for mobile data
-
BASCH, J., GUIBAS, L. J., AND HERSHBERGER, J. 1999. Data structures for mobile data. J. Algorithms 31, 1, 1-28.
-
(1999)
J. Algorithms
, vol.31
, Issue.1
, pp. 1-28
-
-
Basch, J.1
Guibas, L.J.2
Hershberger, J.3
-
8
-
-
85012688561
-
-
Princeton University Press, Princeton, NJ
-
BELLMAN, R. 1957. Dynamic Programming. Princeton University Press, Princeton, NJ.
-
(1957)
Dynamic Programming
-
-
Bellman, R.1
-
10
-
-
85050860095
-
Incremental evaluation of attribute grammars with application to syntax directed editors
-
ACM, New York
-
DEMERS, A., REPS, T., AND TEITELBAUM, T. 1981. Incremental evaluation of attribute grammars with application to syntax directed editors. In Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages. ACM, New York, pp. 105-116.
-
(1981)
Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages
, pp. 105-116
-
-
Demers, A.1
Reps, T.2
Teitelbaum, T.3
-
12
-
-
85031939875
-
Fully persistent arrays
-
Lecture Notes in Computer Science. Springer-Verlag, ACM, New York
-
DIETZ, P. F. 1989. Fully persistent arrays. In Proceedings of the Workshop on Algorithms and Data Structures. (Aug.) Lecture Notes in Computer Science, Vol 382. Springer-Verlag, ACM, New York, pp. 67-74.
-
(1989)
Proceedings of the Workshop on Algorithms and Data Structures
, vol.382
, Issue.AUG
, pp. 67-74
-
-
Dietz, P.F.1
-
13
-
-
0024606010
-
Making data structures persistent
-
DRISCOLL, J. R., SARNAK, N., SLEATOR, D. D., AND TARJAN, R. E. 1989. Making data structures persistent. J. Comput. Syst. Sci. 38, 1, (Feb.) 86-124.
-
(1989)
J. Comput. Syst. Sci.
, vol.38
, Issue.1 FEB
, pp. 86-124
-
-
Driscoll, J.R.1
Sarnak, N.2
Sleator, D.D.3
Tarjan, R.E.4
-
14
-
-
0028513481
-
Fully persistent lists with catenation
-
DRISCOLL, J. R., SLEATOR, D. D., AND TARJAN, R. E. 1994. Fully persistent lists with catenation. J. ACM 41, 5, 943-959.
-
(1994)
J. ACM
, vol.41
, Issue.5
, pp. 943-959
-
-
Driscoll, J.R.1
Sleator, D.D.2
Tarjan, R.E.3
-
17
-
-
4544225295
-
-
Rep. 1999-001, Compaq Systems Research Center
-
HEYDON, A., LEVIN, R., MANN, T., AND YU, Y. 1999. The Vesta approach to software configuration management. Rep. 1999-001, Compaq Systems Research Center.
-
(1999)
The Vesta Approach to Software Configuration Management
-
-
Heydon, A.1
Levin, R.2
Mann, T.3
Yu, Y.4
-
18
-
-
17144378981
-
Caching function calls using precise dependencies
-
ACM, New York
-
HEYDON, A., LEVIN, R., AND Yu, Y. 2000. Caching function calls using precise dependencies. In Proceedings of the 2000 ACM SIGPLAN Conference on PLDI. (May). ACM, New York, pp. 311-320.
-
(2000)
Proceedings of the 2000 ACM SIGPLAN Conference on PLDI
, Issue.MAY
, pp. 311-320
-
-
Heydon, A.1
Levin, R.2
Yu, Y.3
-
19
-
-
0005257447
-
-
Ph.D. dissertation. Department of Computer Science, Cornell University
-
HOOVER, R. 1987. Incremental graph evaluation. Ph.D. dissertation. Department of Computer Science, Cornell University.
-
(1987)
Incremental Graph Evaluation
-
-
Hoover, R.1
-
20
-
-
0032057980
-
Static caching for incremental computation
-
LIU, Y. A., STOLLER, S., AND TEITELBAUM, T. 1998. Static caching for incremental computation. ACM Trans. Prog. Lang. Syst. 20, 3, 546-585.
-
(1998)
ACM Trans. Prog. Lang. Syst.
, vol.20
, Issue.3
, pp. 546-585
-
-
Liu, Y.A.1
Stoller, S.2
Teitelbaum, T.3
-
22
-
-
77956967645
-
A Basis for a mathematical theory of computation
-
P. Braffort and D. Hirschberg, Eds., North-Holland, Amsterdam. The Netherlands
-
MCCARTHY, J. 1963. A Basis for a mathematical theory of computation. In Computer Programming and Formal Systems. P. Braffort and D. Hirschberg, Eds., North-Holland, Amsterdam. The Netherlands, pp. 33-70.
-
(1963)
Computer Programming and Formal Systems
, pp. 33-70
-
-
Mccarthy, J.1
-
23
-
-
0002444193
-
'Memo' functions and machine learning
-
MICHIE, D. 1968. 'memo' functions and machine learning. Nature 21, 8, 19-22.
-
(1968)
Nature
, vol.21
, Issue.8
, pp. 19-22
-
-
Michie, D.1
-
24
-
-
0022246544
-
Parallel tree contraction and its application
-
IEEE Computer Society Press, Los Alamitos, CA
-
MILLER, G. L. AND REIF, J. H. 1985. Parallel tree contraction and its application. In Proceedings of the 26th Annual IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press, Los Alamitos, CA, pp. 487-489.
-
(1985)
Proceedings of the 26th Annual IEEE Symposium on Foundations of Computer Science
, pp. 487-489
-
-
Miller, G.L.1
Reif, J.H.2
-
25
-
-
84945246255
-
A judgmental reconstruction of modal logic
-
PFENNING, F. AND DAVIES, R. 2001. A judgmental reconstruction of modal logic. Math. Struct. Comput. Sci. 11, 511-540.
-
(2001)
Math. Struct. Comput. Sci.
, vol.11
, pp. 511-540
-
-
Pfenning, F.1
Davies, R.2
-
26
-
-
0005299750
-
-
Ph.D. dissertation. Department of Computer Science, Cornell University
-
PUGH, W. 1988. Incremental computation via function caching. Ph.D. dissertation. Department of Computer Science, Cornell University.
-
(1988)
Incremental Computation Via Function Caching
-
-
Pugh, W.1
-
30
-
-
0020766586
-
A data structure for dynamic trees
-
SLEATOR, D. D. AND TARJAN, R. E. 1983. A data structure for dynamic trees. J. Comput. Syst. Sci. 26, 3, 362-391.
-
(1983)
J. Comput. Syst. Sci.
, vol.26
, Issue.3
, pp. 362-391
-
-
Sleator, D.D.1
Tarjan, R.E.2
-
32
-
-
84976799337
-
INC: A language for incremental computations
-
YELLIN, D. M. AND STROM, R. E. 1991. INC: A language for incremental computations. ACM Trans. Prog. Lang. Syst. 13, 2, 211-236.
-
(1991)
ACM Trans. Prog. Lang. Syst.
, vol.13
, Issue.2
, pp. 211-236
-
-
Yellin, D.M.1
Strom, R.E.2
|