On Compiling Structured Interactive Programs with Registers and Voices

DOI10.1007/978-3-540-77566-9_22MaRDI QIDQ5448652zbMATH OpenOpenAlexFDO

Authors Cezara Drăgoi, Gh. Ştefănescu

Publication date 7 March 2008

Published in SOFSEM 2008: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77566-9_22

zbMATH Keywords

compiler correctnessinteractive systemsoperational semanticsprogramming languagesregisters and voicesstructured rv-systems

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Interactive systems with registers and voices
• Implementation and verification of ring termination detection protocols using structured rv-systems
• Towards a formal representation of interactive systems
• Programming languages for interactive computing
• scientific article; zbMATH DE number 1361139

Cites work

• Complexity of two-dimensional patterns
• scientific article; zbMATH DE number 1482700 (Why is no real title available?)
• scientific article; zbMATH DE number 2110613 (Why is no real title available?)
• Implementation and verification of ring termination detection protocols using structured rv-systems
• Interactive Computation
• Interactive foundations of computing
• Interactive systems with registers and voices
• Trace-oriented models of concurrency

Cited in

(3)

• Interactive systems with registers and voices
• scientific article; zbMATH DE number 3938551 (Why is no real title available?)
• Implementation and verification of ring termination detection protocols using structured rv-systems

Describes a project that uses

Uses Software

• Agapia

This page was built for publication: On Compiling Structured Interactive Programs with Registers and Voices

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