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

13 years 4 months ago

Download fsl.cs.uiuc.edu

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 [4, 5], the authors have developed structured programming techniques for programming rv-systems. In the present paper the authors formally define a kernel programming language AGAPIA v0.1 for 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. The main technical part of the paper describes a typing system for AGAPIA v0.1 progra...

Cezara Dragoi, Gheorghe Stefanescu

Real-time Traffic