메뉴 건너뛰기




Volumn 28, Issue 6, 2006, Pages 990-1034

Adaptive functional programming

Author keywords

Adaptive computation; Dynamic algorithms; Incremental computation

Indexed keywords

ADAPTIVE COMPUTATION; DYNAMIC ALGORITHMS; INCREMENTAL COMPUTATION;

EID: 33845541245     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1186632.1186634     Document Type: Article
Times cited : (83)

References (32)
  • 2
    • 33644905683 scopus 로고    scopus 로고
    • 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
  • 8
    • 85012688561 scopus 로고
    • Princeton University Press, Princeton, NJ
    • BELLMAN, R. 1957. Dynamic Programming. Princeton University Press, Princeton, NJ.
    • (1957) Dynamic Programming
    • Bellman, R.1
  • 12
    • 85031939875 scopus 로고
    • 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
  • 14
    • 0028513481 scopus 로고
    • 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
  • 19
    • 0005257447 scopus 로고
    • 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
  • 22
    • 77956967645 scopus 로고
    • 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 scopus 로고
    • '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
  • 25
    • 84945246255 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.