On Compiling Structured Interactive Programs with Registers and Voices

DOI10.1007/978-3-540-77566-9_22zbMath1132.68331OpenAlexW1576061398MaRDI QIDQ5448652

Gheorghe Ştefănescu, Cezara Dragoi

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

operational semanticsprogramming languagesinteractive systemscompiler correctnessregisters and voicesstructured rv-systems

Mathematics Subject Classification ID

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

Uses Software

• Agapia

Cites Work

• Interactive foundations of computing
• Complexity of two-dimensional patterns
• Interactive Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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