Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)

Authors Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.6.10.1.pdf
  • Filesize: 0.85 MB
  • 12 pages

Document Identifiers

Author Details

Camil Demetrescu
Sebastian Erdweg
Matthew A. Hammer
Shriram Krishnamurthi
and all authors of the abstracts in this report

Cite AsGet BibTex

Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, and Shriram Krishnamurthi. Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). In Dagstuhl Reports, Volume 6, Issue 10, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/DagRep.6.10.1

Abstract

Incremental computations are those that process input changes faster than naive computation that runs from scratch, and reactive computations consist of interactive behavior that varies over time. Due to the importance and prevalence of incremental, reactive systems, ad hoc variants of incremental and reactive computation are ubiquitous in modern software systems. In response to this reality, the PL research community has worked for several decades to advance new languages for systems that interface with a dynamically-changing environment. In this space, researchers propose new general-purpose languages and algorithms to express and implement efficient, dynamic behavior, in the form of incremental and reactive language systems. While these research lines continue to develop successfully, this work lacks a shared community that synthesizes a collective discussion about common motivations, alternative techniques, current results and future challenges. To overcome this lack of community, this seminar will work towards building one, by strengthening existing research connections and by forging new ones. Developing a shared culture is critical to the future advancement of incremental and reactive computing in modern PL research, and in turn, this PL research is critical to developing the efficient, understandable interactive systems of the future.
Keywords
  • Incremental computing
  • reactive programming
  • memoization
  • change propagation
  • dynamic dependency graph
  • dataflow programming
  • live programming

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail