SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2002, Pages 247-259

Adaptive functional programming

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; RESPONSE TIME (COMPUTER SYSTEMS); SEMANTICS; THEOREM PROVING;

ADAPTIVE FUNCTIONAL PROGRAMMING; CHANGE PROPAGATION ALGORITHM; FUNCTIONAL LANGUAGE; RUN TIME;

COMPUTER PROGRAMMING;

EID: 0036039865 PISSN: 07308566 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/503272.503296 Document Type: Conference Paper

Times cited : (59)

References (18)

1
- 4244187848
- Adaptive functional programming
- Technical Report CMU-CS-01-161, Carnegie Mellon University, Computer Science Department, November
- (2001)
- Acar, U.A.¹ Blelloch, G.E.² Harper, R.W.³

2
- 0001725273
- Data structures for mobile data
- (1999) Journal of Algorithms , vol.31 , Issue.1 , pp. 1-28
- Basch, J.¹ Guibas, L.J.² Hershberger, J.³

3
- 85050860095
- Incremental evaluation of attribute grammars with application to syntax directed editors
- January
- (1981) Conference Record of the 8th Annual ACM Symposium on POPL , pp. 105-116
- Demers, A.¹ Reps, T.² Teitelbaum, T.³

4
- 0023545512
- Two algorithms for maintaining order in a list
- (1987) Proceedings. 19th ACM Symposium. Theory of Computing , pp. 365-372
- Dietz, P.F.¹ Sleator, D.D.²

6
- 0024606010
- Making data structures persistent
- February
- (1989) Journal of Computer and System Sciences , vol.38 , Issue.1 , pp. 86-124
- Driscoll, J.R.¹ Sarnak, N.² Sleator, D.D.³ Tarjan, R.E.⁴

7
- 0028513481
- Fully persistent lists with catenation
- (1994) Journal of the ACM , vol.41 , Issue.5 , pp. 943-959
- Driscoll, J.R.¹ Sleator, D.D.² Tarjan, R.E.³

9
- 0005257447
- PhD thesis, Department of Computer Science, Cornell University, May
- (1987) Incremental Graph Evaluation
- Hoover, R.¹

10
- 0029701792
- Discovering auxiliary information for incremental computation
- January
- (1996) Conference Record of the 23rd Annual ACM Symposium on POPL , pp. 157-170
- Liu, Y.A.¹ Stoller, S.² Teitelbaum, T.³

11
- 0029254310
- Systematic derivation of incremental programs
- February
- (1995) Science of Computer Programming , vol.24 , Issue.1 , pp. 1-30
- Liu, Y.A.¹ Teitelbaum, T.²

12
- 84945246255
- A judgmental reconstruction of modal logic
- Notes to an invited talk at the Workshop on Intuitionistic Modal Logics and Applications (IMLA'99), Trento, Italy, July 1999
- (2001) Mathematical Structures in Computer Science , vol.11 , pp. 511-540
- Pfenning, F.¹ Davies, R.²

13
- 0024866906
- Incremental computation via function caching
- January
- (1989) Conference Record of the 16th Annual Symposium on POPL , pp. 315-328
- Pugh, W.¹ Teitelbaum, T.²

14
- 0005299750
- PhD thesis, Department of Computer Science, Cornell University, August
- (1987) Incremental Computation Via Function Caching
- Pugh, W.¹

15
- 0005329070
- A categorized bibliography on incremental computation
- January
- (1993) Conference Record of the 20th Annual ACM Symposium on POPL , pp. 502-510
- Ramalingam, G.¹ Reps, T.W.²

16
- 0012876093
- PhD thesis, Department of Computer Science, Cornell University, August
- (1982) Generating Language-Based Environments
- Reps, T.¹

17
- 85009482125
- Incremental compilation via partial evaluation
- January
- (1991) Conference Record of the 18th Annual ACM Symposium on POPL , pp. 1-13
- Sundaresh, R.S.¹ Hudak, P.²

18
- 84976799337
- Inc: A language for incremental computations
- April
- (1991) ACM Transactions on Programming Languages and Systems , vol.13 , Issue.2 , pp. 211-236
- Yellin, D.M.¹ Strom, R.E.²

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