Programming languages for interactive computing

DOI10.1016/J.ENTCS.2008.04.085MaRDI QIDQ2864508zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

declarative concurrencyincremental computationinteractioninteractive programming languagesmodal languagespersistent computationretroactive data structuressemantic computingtransactional 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)

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

Cites work

• A modal analysis of staged computation
• 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
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1897131 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• scientific article; zbMATH DE number 6469156 (Why is no real title available?)
• Interactive Computation
• Interactive foundations of computing
• Making data structures persistent
• Meta-programming with names and necessity
• Software transactional memory

Cited in

(3)

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

Describes a project that uses

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)