Abstract:
this paper, we shall mostly be concerned by reactive kernels that constitute the central and most difficult part of reactive systems. In fact, ESTEREL is not a full-fledged programming language, but rather a program generator used to program reactive kernels in the same way as YACC [32] is used to program parsers from grammars. The interface and data handling must be specified in some host language. 1.2. Deterministic reactive programs Determinism is an important characteristic of reactive programs. A deterministic reactive program produces identical output sequences when fed with identical input sequences. All examples above are deterministic if physical time is considered as an input among others. The importance of determinism cannot be overestimated: deterministic systems are one order of magnitude simpler to specify, debug, and analyze than non-deterministic ones
Citations
|
870
|
The Lambda Calculus. Its Syntax and Semantics
– Barendregt
- 1984
|
|
242
|
Automatic verification of finite state concurrent systems using temporal logic specifications: A pratical approach
– Clarke, Emerson, et al.
- 1983
|
|
112
|
Derivatives of Regular Expressions
– Brzozowski
- 1964
|
|
67
|
From Regular Expressions to Deterministic Automata
– Berry, Sethi
- 1986
|
|
26
|
The Synchronous Programming Language ESTEREL
– Berry, Gonthier
- 1992
|
|
14
|
Sml: A high level language for the design and verification of finite state machines
– Browne, Clarke
- 1986
|
|
13
|
Programming the behavior of graphical objects using Esterel
– Clement, Incerpi
- 1989
|
|
11
|
On the semantics of concurrency: Partial orders and transition systems
– Boudol, Castellani
- 1987
|
|
1
|
The Programming Language ADA
– AD
|
|
1
|
Construction et analyse des systbmes de transitions: le systme
– ARNOLD
|
|
1
|
ESTEREL: Towards a Snchronous and SemanticallySound High-Level Language for Real-Time Applications
– BERRY, MOISAN, et al.
|
|
1
|
Programmarion Snchrone des Sstbmes Ractifs: le Langage ESTEREL, Techniques et Sciences de l'Informatique vol
– BERRY, COURONN, et al.
|
|
1
|
Snchronous Programming of Reactive Sstems: an Introduction to ESTEREL, INRIA report 647
– BERRY, COURONN, et al.
|
|
1
|
Comprendre, Maltriser et Appliquer le Grafcet, Cepadues Editions (979
– BLANCHARD
|
|
1
|
Communication is an Abstraction, Acres du Colloque C3 d'Angoulme
– BOUDOL
|
|
1
|
Une S8mantique du Langage ESTEREL
– BOUSSINOT
|
|
1
|
A Language for Communicating vith Mice
– CARDELM, PIKE, et al.
- 797
|
|
1
|
a Declarative Language for RealTime
– CASPI, PILAUD, et al.
|
|
1
|
LeLisp v15.2: Le Manuel de Rdf8rence, INRIA
– CHAILLOUX
|
|
1
|
S8mantique Op&'ationnelle du Langage Synchrone ESTEREL, Thse de Docteur Ingdnieur, Universitd de Nice (985
– COSSERAT
|
|
1
|
SSmantiques et Nodbleu d'excutio des lagages ractis sychrones; application ESTEREL, Thse d'Informatique, Universit d'Orsay (988
– GONTHIER
|
|
1
|
Stateclarts : A visual Approact to Complex Systems
– HAREL
|
|
1
|
O tle Developmet of Reactive Systems: Logic ad Models of Cocurret Systems
– HAREL, PNUELI
|
|
1
|
O tte Formal Sematics oStatecidarts
– HAREL, PNUELI, et al.
|
|
1
|
Cofiuet Reductios: Abstract Properties ad Applicatios to Term Rewritig Systems
– HUET
|
|
1
|
YACC: Yet Aotter Compiler
– JOHNSON
|
|
1
|
Corouties md Networks oParallel
– KAHN, QUEEN
|
|
1
|
Modules for Stmdard ML
– QUEEN
|
|
1
|
Calculi or Syctroy ad Asyctroy
– MILNER
|
|
1
|
Tte Essece o ML
– MITCHELL, HARPER
|
|
1
|
A Structural Approact to Operatioal
– PLOTKIN
|
|
1
|
S)gecilcatio md Verilcatio o Cocurret Systems i CESAR
– QUEILLE, SIFAKIS
|
|
1
|
Tte C-/-4- Programruling Lmguage, Addison-Wesley (986
– STROUSTRUP
|
|
1
|
Traductio Structurelie des Programmes ESTEREL e Automates, Th[se de Troisi[me Cycle, Universitd de Nice (985
– TANZI
|
|
1
|
Verilcatio by Memos o Observatioal Equivalece o Automata
– VERGAMINI
|
|
1
|
V&'ilcatio de R&eaux d'Automates Fiis par Equivaleces Observatiomelles: le syst&me AUTO, Thse d'Informatique, Universit de Nice (987
– VERGAMINI
|
