On compiling structured interactive programs with registers and voices

Authors:
Cezara Dragoi;Gheorghe Stefanescu
Affiliations:
LIAFA, Universite Paris Diderot, Paris 7, France and Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania;Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania
Venue:
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Year:
2008

Citing 5
Cited 2

Interactive foundations of computing

Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
The tile model

Proof, language, and interaction
Network Algebra

Network Algebra
Interactive Computation: The New Paradigm

Interactive Computation: The New Paradigm
Interactive Systems with Registers and Voices

Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System

Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement-Preserving translation from event-b to register-voice interactive systems

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [13]. In [3,4,5,6] the authors have have introduced and studied structured programming techniques for rv-systems. The aim of the present paper is to define a scenario-based operational semantics for structured rv-programs and to offer a translation from structured rv-programs to rv-programs. The main technical result states that the translation is correct. This is part of an effort to get a running environment for structured rv-programs built up on top of rv-programs.