License: 
Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.6.10.1
URN: urn:nbn:de:0030-drops-69491
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/6949/
Demetrescu, Camil ;
Erdweg, Sebastian ;
Hammer, Matthew A. ;
Krishnamurthi, Shriram
Weitere Beteiligte (Hrsg. etc.): Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)
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.
BibTeX - Entry
@Article{demetrescu_et_al:DR:2017:6949,
author = {Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi},
title = {{Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)}},
pages = {1--12},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {10},
editor = {Camil Demetrescu and Sebastian Erdweg and Matthew A. Hammer and Shriram Krishnamurthi},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/6949},
URN = {urn:nbn:de:0030-drops-69491},
doi = {10.4230/DagRep.6.10.1},
annote = {Keywords: Incremental computing, reactive programming, memoization, change propagation, dynamic dependency graph, dataflow programming, live programming}
}
|
Keywords: |
|
Incremental computing, reactive programming, memoization, change propagation, dynamic dependency graph, dataflow programming, live programming |
|
Collection: |
|
Dagstuhl Reports, Volume 6, Issue 10 |
|
Issue Date: |
|
2017 |
|
Date of publication: |
|
13.02.2017 |
