Programming Languages For Interactive Computing
DOI10.1016/j.entcs.2008.04.085zbMath1277.68045OpenAlexW2037317726WikidataQ61632219 ScholiaQ61632219MaRDI QIDQ2864508
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.085
interactionincremental computationsemantic computingmodal languagesdeclarative concurrencyinteractive programming languagespersistent computationretroactive data structurestransactional concurrency
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Making data structures persistent
- Interactive foundations of computing
- Automata, languages and programming. 26th international colloquium, ICALP `99. Prague, Czech Republic, July 11--15, 1999. Proceedings
- Characterizing history independent data structures
- Meta-programming with names and necessity
- A modal analysis of staged computation
- Adaptive functional programming
- Software transactional memory
- Interactive Computation
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Programming Languages For Interactive Computing