Programming languages for interactive computing

DOI10.1016/J.ENTCS.2008.04.085zbMATH Open1277.68045DBLPjournals/entcs/Perera08OpenAlexW2037317726WikidataQ61632219 ScholiaQ61632219MaRDI QIDQ2864508FDOQ2864508

Authors: 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

Recommendations

• Interactive systems with registers and voices
• Interactive foundations of computing
• scientific article; zbMATH DE number 1304458
• A theory of interactive computation
• scientific article; zbMATH DE number 1304441

zbMATH Keywords

interactionincremental computationsemantic computingmodal languagesdeclarative concurrencyinteractive programming languagespersistent computationretroactive data structurestransactional concurrency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• A modal analysis of staged computation
• Title not available (Why is that?)
• Making data structures persistent
• Software transactional memory
• Interactive Computation
• Interactive foundations of computing
• Meta-programming with names and necessity
• Adaptive functional programming
• Automata, languages and programming. 26th international colloquium, ICALP `99. Prague, Czech Republic, July 11--15, 1999. Proceedings
• Characterizing history independent data structures
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Interfaces between languages for communicating systems
• Interactive systems with registers and voices
• On Compiling Structured Interactive Programs with Registers and Voices

Uses Software

• Haskell
• Links
• MiniML

This page was built for publication: Programming languages for interactive computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864508)