Sciweavers

Share
JUCS
2007

High-level Structured Interactive Programs with Registers and Voices

9 years 6 months ago
High-level Structured Interactive Programs with Registers and Voices
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 introduced by Stefanescu in 2004 using register machines and space-time duality, see [Stefanescu 2006, Stefanescu 2006b]. Later on, Dragoi and Stefanescu have introduced structured programming techniques for programming rv-systems and have presented a kernel programming language AGAPIA v0.1 for interactive computing systems, see [Dragoi and Stefanescu 2006a, Dragoi and Stefanescu 2006b]. AGAPIA v0.1 has a restricted format for program construction, using a “3-level” grammar for their definition: the procedure starts with simple while programs, then modules are defined, and finally AGAPIA v0.1 programs are obtained applying structured rvprogramming statements on top of modules. In the current paper the above restriction is completely r...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where JUCS
Authors Alexandru Popa, Alexandru Sofronia, Gheorghe Stefanescu
Comments (0)
books