1

Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986

2

F. E. Allen, J. Cocke, and K. Kennedy. Reduction of operator strength. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysas, chapter 3, pages 79- 101. Prentice-Hall, Englewood Cliffs, New Jersey, 1981.

3

Bowen Alpern , Roger Hoover , Barry K. Rosen , Peter F. Sweeney , F. Kenneth Zadeck, Incremental evaluation of computational circuits, Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, p.32-42, January 22-24, 1990, San Francisco, California, United States

4

Rolf Bahlke , Gregor Snelting, The PSG system: from formal language definitions to interactive programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.547-576, Oct. 1986  [doi>10.1145/6465.20890]

5

Robert A. Ballance , Susan L. Graham , Michael L. Van De Vanter, The Pan language-based editing system, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.1, p.95-127, Jan. 1992  [doi>10.1145/125489.122804]

6

Friedrich Ludwig Bauer , Bernhard Möller , Helmut Partsch , Peter Pepper, Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, v.15 n.2, p.165-180, February 1989  [doi>10.1109/32.21743]

7

R. S. Bird, The promotion and accumulation strategies in transformational programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.487-504, Oct. 1984  [doi>10.1145/1780.1781]

8

R. S. Bird, The promotion and accumulation strategies in transformational programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.487-504, Oct. 1984  [doi>10.1145/1780.1781]

9

P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.14-24, November 28-30, 1988, Boston, Massachusetts, United States

10

R. S. Boyer and J. S. Moore. A Computational Logzc. ACM Monograph Series. Academic Press, New York, 1979.

11

M. Broy. Algebraic methods for program construction: The project CIP. In P. Pepper, editor, Program Transformation and Programmzng E#v,tronments, volume 8 of NATO Advanced Science Institutes Ser, es F: Computer and System Sciences, pages 199-222. Springer-VerIag, Berlin, 1984. Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments, directed by F. L. Bauer and H. Remus, Munich, Germany, September 1983.

12

R. M. Burstall. Proving properties of programs by structural induction. The Computer Journal, 12(1):41- 48, 1969.

13

R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977  [doi>10.1145/321992.321996]

14

Wei-Ngan Chin, Towards an automated tupling strategy, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.119-132, June 14-16, 1993, Copenhagen, Denmark  [doi>10.1145/154630.154643]

15

John Cocke , Ken Kennedy, An algorithm for reduction of operator strength, Communications of the ACM, v.20 n.11, p.850-856, Nov. 1977  [doi>10.1145/359863.359888]

16

R. L. Constable , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harper , D. J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , J. T. Sasaki , S. F. Smith, Implementing mathematics with the Nuprl proof development system, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986

17

Nachum Dershowitz, The Evolution of Programs, Birkhauser Boston, 1983

18

Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997

19

V. Donzeau-Gouge, G. Huet, G. Kahn, and B. Lang. Programming environments based on structure editor: The Mentor experience. In D. R. Barstow, H. E. Shrobe, and E. Sandewall, editors, Interactive Programm#ng Environments, pages 128-140. McGraw-Hill, New York, 1984.

20

J. Earley. High level iterators and a method for automatically designing data structure representation. Journal of Computer Languages, 1:321-342, 1976.

21

Martin S. Feather, A System for Assisting Program Transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.1-20, Jan. 1982  [doi>10.1145/357153.357154]

22

John Field , Tim Teitelbaum, Incremental reduction in the lambda calculus, Proceedings of the 1990 ACM conference on LISP and functional programming, p.307-322, June 27-29, 1990, Nice, France  [doi>10.1145/91556.91679]

23

Ivan Flores, The logic of computer arithmetic, Prentice-Hall, Inc., Upper Saddle River, NJ, 1963

24

3. Glanz. Mathematical logic flushes out the bugs in chip designs. Science, 267:332-333, January 20, 1995.

25

David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987

26

D. Gries. A note on a standard strategy for developing loop invanants and loops. Science of Computer Pro. grarnming, 2"207-214, 1984.

27

A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986

28

Roger Hoover, Alphonse: incremental computation as a programming abstraction, Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, p.261-272, June 15-19, 1992, San Francisco, California, United States

29

Susan Horwitz , Tim Teitelbaum, Generating editing environments based on relations and attributes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.577-608, Oct. 1986  [doi>10.1145/6465.6512]

30

Fahimeh Jalili , Jean H. Gallier, Building friendly parsers, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.196-206, January 25-27, 1982, Albuquerque, Mexico  [doi>10.1145/582153.582175]

31

Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993

32

Neil D. Jones , Peter Sestoft , Harald Sondergaard, An experiment in partial evaluation: the generation of a compiler generator, Proc. of the first international conference on Rewriting techniques and applications, p.124-140, December 1985, Dijon, France

33

G. E. Kaiser, Incremental dynamic semantics for language-based programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.2, p.169-193, April 1989  [doi>10.1145/63264.63400]

34

U. Kastens. Ordered attributed grammars. Acta Informatica, 13(3):229-256, 1980.

35

Takuya Katayama, Translation of attribute grammars into procedures, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.345-369, July 1984  [doi>10.1145/579.586]

36

S. C. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952. Tenth reprint, Wolters- Noordhoff Publishing, Groningen and North-Holland Publishing Company, Amsterdam, 1991.

37

J. Launchbury. Projections for specialisation. In Partial Evaluation and Mixed Computation, pages 299-315. North-Holland, 1988.

38

Y. A. Liu, CACHET: an interactive, incremental-attribution-based program transformation system for deriving incremental programs, Proceedings of The 10th Knowledge-Based Software Engineering Conference, p.19, November 12-15, 1995

39

Yanhong A Liu, Incremental Computation: A Semantics-Based Systematic Transformational Approach, Cornell University, Ithaca, NY, 1995

40

Yanhong A. Liu , Tim Teitelbaum, Caching intermediate results for program improvement, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.190-201, June 21-23, 1995, La Jolla, California, United States  [doi>10.1145/215465.215590]

41

Yanhong A. Liu , Tim Teitelbaum, Systematic derivation of incremental programs, Science of Computer Programming, v.24 n.1, p.1-39, Feb. 1995  [doi>10.1016/0167-6423(94)00031-9]

42

Zohar Manna , Richard Waldinger, A Deductive Approach to Program Synthesis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.90-121, Jan. 1980  [doi>10.1145/357084.357090]

43

Zohar Manna , Richard Waldinger, Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, v.18 n.8, p.674-704, August 1992  [doi>10.1109/32.153379]

44

Zohar Manna , Richard Waldinger, The deductive foundations of computer programming: a one-volume version of “the logical basis for computer programming”, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1993

45

John W. O'Leary , Miriam Leeser , Jason Hickey , Mark Aagaard, Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization, Proceedings of the Second International Conference on Theorem Provers in Circuit Design - Theory, Practice and Experience, p.52-71, September 26-28, 1994

46

Bob Paige , J. T. Schwartz, Expression continuity and the formal differentiation of algorithms, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.58-71, January 17-19, 1977, Los Angeles, California  [doi>10.1145/512950.512957]

47

Robert Paige, Transformational programming: applications to algorithms and systems, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.73-87, January 24-26, 1983, Austin, Texas  [doi>10.1145/567067.567076]

48

Robert Paige , Shaye Koenig, Finite Differencing of Computable Expressions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.402-454, July 1982  [doi>10.1145/357172.357177]

49

Helmut A. Partsch, Specification and transformation of programs: a formal approach to software development, Springer-Verlag New York, Inc., New York, NY, 1990

50

Alberto Pettorossi, A powerful strategy for deriving efficient programs by transformation, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.273-281, August 06-08, 1984, Austin, Texas, United States  [doi>10.1145/800055.802044]

51

Lori L. Pollock , Mary Lou Soffa, Incremental global reoptimization of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.2, p.173-200, April 1992  [doi>10.1145/128861.128865]

52

W. Pugh , T. Teitelbaum, Incremental computation via function caching, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.315-328, January 11-13, 1989, Austin, Texas, United States  [doi>10.1145/75277.75305]

53

Steven P. Reiss, An approach to incremental compilation, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, p.144-156, June 17-22, 1984, Montreal, Canada

54

Thomas W. Reps , Tim Teitelbaum, The synthesizer generator: a system for constructing language-based editors, Springer-Verlag New York, Inc., New York, NY, 1989

55

Thomas Reps , Tim Teitelbaum , Alan Demers, Incremental Context-Dependent Analysis for Language-Based Editors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.449-477, July 1983  [doi>10.1145/2166.357218]

56

John C. Reynolds, The Craft of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1981

57

Mads Rosendahl, Automatic complexity analysis, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.144-156, September 11-13, 1989, Imperial College, London, United Kingdom  [doi>10.1145/99370.99381]

58

Barbara G. Ryder , Marvin C. Paull, Incremental data-flow analysis algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.1-50, Jan. 1988  [doi>10.1145/42192.42193]

59

D. R. Smith, KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, v.16 n.9, p.1024-1043, September 1990  [doi>10.1109/32.58788]

60

Bernhard Steffen , Jens Knoop , Oliver Rüthing, Efficient code motion and an adaption to strength reduction, Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2, p.394-415, April 1991, Brighton, United Kingdom

61

R. S. Sundaresh , Paul Hudak, A theory of incremental computation and its application, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-13, January 21-23, 1991, Orlando, Florida, United States  [doi>10.1145/99583.99587]

62

Ben Wegbreit, Mechanical program analysis, Communications of the ACM, v.18 n.9, p.528-539, Sept. 1975  [doi>10.1145/361002.361016]

63

M. Weiser Progreun slicing. IEEE Transactions on Software Engzneer#ng, $1#-10(4):352-357, July 1984

64

Daniel M. Yellin , Robert E. Strom, INC: a language for incremental computations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.211-236, April 1991  [doi>10.1145/103135.103137]

Yanhong A. Liu , Scott D. Stoller, Program optimization using indexed and recursive data structures, ACM SIGPLAN Notices, v.37 n.3, p.108-118, March 2002

Yanhong A. Liu , Scott D. Stoller, From recursion to iteration: what are the optimizations?, ACM SIGPLAN Notices, v.34 n.11, p.73-82, Nov. 1999

Yanhong A. Liu , Scott D. Stoller, Dynamic Programming via Static Incrementalization, Higher-Order and Symbolic Computation, v.16 n.1-2, p.37-62, March-June 2003

Yanhong A. Liu , Scott D. Stoller, Eliminating dead code on recursive data, Science of Computer Programming, v.47 n.2-3, p.221-242, May 2003

Thomas W. Reps , Louis B. Rall, Computational Divided Differencing and Divided-Difference Arithmetics, Higher-Order and Symbolic Computation, v.16 n.1-2, p.93-149, March-June 2003

Yanhong A. Liu, Efficiency by Incrementalization: An Introduction, Higher-Order and Symbolic Computation, v.13 n.4, p.289-313, Dec. 1, 2000

Kevin Walsh , Emin Gün Sirer, Simulation of large scale networks I: staged simulation for improving scale and performance of wireless network simulations, Proceedings of the 35th conference on Winter simulation: driving innovation, December 07-10, 2003, New Orleans, Louisiana

Kevin Walsh , Emin Gün Sirer, Staged simulation: A general technique for improving simulation scale and performance, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.14 n.2, p.170-195, April 2004

Umut A. Acar , Guy E. Blelloch , Robert Harper, Adaptive functional programming, ACM SIGPLAN Notices, v.37 n.1, p.247-259, Jan. 2002

Yanhong A. Liu , Scott D. Stoller , Tim Teitelbaum, Static caching for incremental computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.3, p.546-585, May 1998

Umut A. Acar , Guy E. Blelloch , Matthias Blume , Kanat Tangwongsan, An experimental analysis of self-adjusting computation, ACM SIGPLAN Notices, v.41 n.6, June 2006

Yanhong A. Liu: colleagues

Scott D. Stoller: colleagues

Tim Teitelbaum: colleagues