Imperative Self-Adjusting Computation

被引：21

作者：

Acar, Umut A. ^{[1
]}

Ahmed, Amal ^{[1
]}

Blume, Matthias ^{[1
]}

机构：

[1] Toyota Technol Inst, Chicago, IL USA

来源：

POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES | 2008年

关键词：

Self-adjusting computation; incremental computation; step-indexed logical relations; imperative programming; change propagation; memoization; mutable state;

D O I：

10.1145/1328438.1328476

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：309 / 322

页数：14

共 25 条

[1]

Abadi M., 1996, P INT C FUNCT PROGR, P83

[2] Adaptive functional programming [J].

Acar, Umut A. ;

Blelloch, Guy E. ;

Harper, Robert .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (06) :990-1034

[3]

Ahmed A, 2006, LECT NOTES COMPUT SC, V3924, P69

[4]

AHMED A, 2005, P 10 ACM SIGPLAN INT, P78, DOI DOI 10.1145/1086365.1086376

[5] An indexed model of recursive types for foundational proof-carrying code [J].

Appel, AW ;

McAllester, D .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (05) :657-683

[6]

BENTON N, 2005, P TLCA, P86

[7]

Demers A., 1981, P 8 ANN ACM S PRINC, P105, DOI DOI 10.1145/567532.567544

[8]

Dietz Paul, 1987, P 19 ANN ACM S THEOR, P365, DOI DOI 10.1145/28395.28434

[9] MAKING DATA-STRUCTURES PERSISTENT [J].

DRISCOLL, JR ;

SARNAK, N ;

SLEATOR, DD ;

TARJAN, RE .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 38 (01) :86-124

[10] THE REVISED REPORT ON THE SYNTACTIC THEORIES OF SEQUENTIAL CONTROL AND STATE [J].

FELLEISEN, M ;

HIEB, R .

THEORETICAL COMPUTER SCIENCE, 1992, 103 (02) :235-271

← 1 2 3 →