On Compiling Structured Interactive Programs with Registers and Voices

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

Gh. Ştefănescu, Cezara Drăgoi

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Agapia

   Recommendations

• Interactive systems with registers and voices 👍 👎
• Title not available (Why is that?) 👍 👎
• Towards a Formal Representation of Interactive Systems 👍 👎
• Programming languages for interactive computing 👍 👎
• Title not available (Why is that?) 👍 👎

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)