On Compiling Structured Interactive Programs with Registers and Voices

DOI10.1007/978-3-540-77566-9_22zbMATH Open1132.68331OpenAlexW1576061398MaRDI QIDQ5448652FDOQ5448652

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

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

zbMATH Keywords

programming languagesoperational semanticscompiler correctnessinteractive systemsregisters 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)

Cites Work

• Complexity of two-dimensional patterns
• Trace-oriented models of concurrency
• Interactive Computation
• Title not available (Why is that?)
• Interactive foundations of computing
• Interactive systems with registers and voices
• Title not available (Why is that?)
• Implementation and verification of ring termination detection protocols using structured rv-systems

Cited In (3)

• Implementation and verification of ring termination detection protocols using structured rv-systems
• Interactive systems with registers and voices
• Title not available (Why is that?)

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)