RV Systems and Agapia Programming

From FSL

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 Gheorghe Stefanescu in 2004 using register machines and space-time duality. In the fall of 2006, Cezara Dragoi and Gheorghe Stefanescu have developed structured programming techniques for rv-systems.

AGAPIA is a kernel language for high-level programming interactive systems. The language contains definitions for complex spatial and temporal data, arithmetic and boolean expressions, modules, and while-programming statements with their temporal, spatial, and spatio-temporal versions. In AGAPIA v0.1 one can write programs for open processes located at various sites and having their temporal windows of adequate reaction to the environment.

[edit] Publications

On Compiling Structured Interactive Programs with Registers and Voices 

Cezara Dragoi and Gheorghe Stefanescu
SOFSEM'08, LNCS 4910, pages 259-270
LNCS, BIB

High-level Structured Interactive Programs with Registers and Voices 

Alexandru Popa, Alexandru Sofronia and Gheorghe Stefanescu
J.UCS (Vol.13)(No.11), 2007, pages 1722-1754

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

Cezara Dragoi and Gheorghe Stefanescu
FInCo'07
PDF, FinCo

Towards a Floyd logic for interactive rv-systems 

Gheorghe Stefanescu
ICCP'06, pages 169-178, September 2006
PDF

Structured programming for interactive rv-systems 

Cezara Dragoi and Gheorghe Stefanescu
Preprint IMAR 9/2006
PDF

Towards a Hoare logic for structured interactive rv-programs 

Cezara Dragoi and Gheorghe Stefanescu
Preprint IMAR 10/2006
PDF

Implementation and verification of ring termination detection protocols using structured rv-programs 

Cezara Dragoi and Gheorghe Stefanescu
Annals of University of Bucharest, Mathematics-Informatics Series, LV(2006)
PDF

Interactive Systems with Registers and Voices 

Gheorghe Stefanescu
Fundamenta Informaticae (73), 2006, pages 285--306
PDF, IOSPRESS, Pisa'07 Slides, BIB

Interactive Systems with Registers and Voices 

Gheorghe Stefanescu
Draft, National University of Singapore (SoC/NUS), July 2004
PDF, SoC/NUS