RV Systems and Agapia Programming

From FSL
Jump to: navigation, search

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.


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

Personal tools
Namespaces

Variants
Actions
Navigation