Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Incremental Computation with Names   Over the past thirty years, there has been significant progress in developing
general-purpose, language-based approaches to incremental computation, which
aims to efficiently update the result of a computation when an input is
changed. A key design challenge in such approaches is how to provide efficient
incremental support for a broad range of programs. In this paper, we argue that
first-class names are a critical linguistic feature for efficient incremental
computation. Names identify computations to be reused across differing runs of
a program, and making them first class gives programmers a high level of
control over reuse. We demonstrate the benefits of names by presenting NOMINAL
ADAPTON, an ML-like language for incremental computation with names. We
describe how to use NOMINAL ADAPTON to efficiently incrementalize several
standard programming patterns -- including maps, folds, and unfolds -- and show
how to build efficient, incremental probabilistic trees and tries. Since
NOMINAL ADAPTON's implementation is subtle, we formalize it as a core calculus
and prove it is from-scratch consistent, meaning it always produces the same
answer as simply re-running the computation. Finally, we demonstrate that
NOMINAL ADAPTON can provide large speedups over both from-scratch computation
and ADAPTON, a previous state-of-the-art incremental computation system.

31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys