Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/39342
Title: Interactive systems with registers and voices
Authors: Stefanescu, G. 
Keywords: Finite interactive systems
Grids
Interactive systems
Object-oriented systems
Programming languages
Registers
Rv-programs
Rv-systems
Semantics
Space-time duality
Syntax
Temporal specifications
Voices
Issue Date: 2006
Source: Stefanescu, G. (2006). Interactive systems with registers and voices. Fundamenta Informaticae 73 (1-2) : 285-305. ScholarBank@NUS Repository.
Abstract: We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems with registers and voices); it includes register machines, is space-time invariant, is compositional, may describe computations extending in both time and space, and is applicable to open, interactive systems. To achieve modularity in space the model uses voices (a voice is the time dual of a register) - they provide a high level organization of temporal data and are used to describe interaction interfaces of processes. The programming language uses novel techniques for syntax and semantics to support computation in space paradigm. We describe rv-programs and base their syntax and operational semantics on FIS-es (finite interactive systems) and their grid languages (a FIS is a kind of 2-dimensional automaton specifying both control and interaction used in rv-programs). We also present specification techniques for rv-systems, using relations between input registers and voices and their output counterparts. The paper includes simple specifications for an OO-system and for an interactive game.
Source Title: Fundamenta Informaticae
URI: http://scholarbank.nus.edu.sg/handle/10635/39342
ISSN: 01692968
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

45
checked on Dec 15, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.