Programming Languages For Interactive Computing

DOI10.1016/j.entcs.2008.04.085zbMath1277.68045OpenAlexW2037317726WikidataQ61632219 ScholiaQ61632219MaRDI QIDQ2864508

Roly Perera

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

zbMATH Keywords

interactionincremental computationsemantic computingmodal languagesdeclarative concurrencyinteractive programming languagespersistent computationretroactive data structurestransactional concurrency

Mathematics Subject Classification ID

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

• Haskell
• Links
• MiniML

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