Many applications need to respond to incremental modifications to data. Being incremental,
such modification often require incremental modifications to the output, making it possible to …

Establishing quantitative bounds on the execution cost of programs is essential in many
areas of computer science such as complexity analysis, compiler optimizations, security and …

Many researchers have proposed programming languages that support incremental
computation (IC), which allows programs to be efficiently re-executed after a small change to …

This book provides a central source of reference on the various data management
techniques of large scale data processing and its technology application. This book presents …

Recent work on adaptive functional programming (AFP) developed techniques for writing
programs that can respond to modifications to their data by performing change propagation …

Functional reactive programming (FRP) is an elegant and successful approach to
programming reactive systems declaratively. The high levels of abstraction and expressivity …

Incremental computation strives for efficient successive runs of applications by re-executing
only those parts of the computation that are affected by a given input change instead of …

Motivated by the increasing shift to multicore computers, recent work has developed
language support for responsive parallel applications that mix compute-intensive tasks with …

With recent advances, programs can be compiled to efficiently respond to incremental input
changes. However, there is no language-level support for reasoning about the time …

Competitive and cooperative threading are widely used abstractions in computing. In
competitive threading, threads are scheduled preemptively with the goal of minimizing …