Gerard Berry, Georges Gonthier  Home/Search
Context Related
| sop.inria.fr/meije...yGonthierSCP.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/who/...readinglist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
Timed Communicating Object Z - Brendan Mahony Information (Correct)
The Liberty Simulation Environment: A Deliberate - Approach To High-Level (Correct)
Fast Paths in Concurrent Programs - Xu, Kumar, Li (2004) (Correct)
Active bibliography (related documents): More All
0.5: Argonaute: Graphical Description, Semantics and Verification of .. - Maraninchi (1989) (Correct)
0.3: A Memory Module Specification using Composable High-level Petri Nets - Best (1995) (Correct)
0.1: Extended ML: Past, present and future - Sannella, Tarlecki (1991) (Correct)
Similar documents based on text: More All
0.6: The Semantics of Pure Esterel - Berry (1993) (Correct)
0.6: A Hardware Implementation of Pure Esterel - Berry (1991) (Correct)
0.6: Programming a Digital Watch In ESTEREL v3 - Berry (1991) (Correct)
Related documents from co-citation: More All
26: Statecharts: A visual formalism for complex systems - Harel - 1987
21: The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
16: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
BibTeX entry: (Update)
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 19(2):87--152, 1992. http://citeseer.ist.psu.edu/berry92esterel.html More
@article{ berry92esterel,
author = "Gerard Berry and Georges Gonthier",
title = "The Esterel Synchronous Programming Language: Design, Semantics, Implementation",
journal = "Science of Computer Programming",
volume = "19",
number = "2",
pages = "87-152",
year = "1992",
url = "citeseer.ist.psu.edu/berry92esterel.html" }
Citations (may not include all citations):1097 Automatic Verification Finite State Concurrent Sstem Using T.. (context) - SISTLA, of et al.
729 The Lambda-Calculus: its Syntax and Semantics (context) - BARENDREGT
128 Springer-Verlag (context) - AD
66 Derivatives of Regular Expressions (context) - BRZOZOWSKI
34 Prentice-Hall International (context) - LTD, Programmig
12 the Semantics of Concurrency: Partial Orders and Transition .. (context) - BOUDOL, CASTELLANI
12 on Principles of Programming Languages (context) - MITCHELL, HARPER et al.
11 SML A High Level Language for the Design and Verification of.. (context) - BROWNE, CLARKE
3 Seminar on Concurrency (context) - BERRY, COSSERAT et al.
2 Symposium on Logic in Computer Science (context) - HAREL, PNUELI et al.
1 SSmantiques et Nodbleu d'excutio des lagages ractis sychrone.. (context) - GONTHIER
1 Traductio Structurelie des Programmes ESTEREL e Automates (context) - TANZI
1 SIGNAL :A Data FlowOrieted Lmguage For Sigal Processig (context) - LE GUERNIC, BENVENISTE et al.
1 Verilcatio by Memos o Observatioal Equivalece o Automata (context) - VERGAMINI
1 Stateclarts : A visual Approact to Complex Systems (context) - HAREL
1 eaux d'Automates Fiis par Equivaleces Observatiomelles: le s.. (context) - VERGAMINI, 'ilcatio
1 tle Developmet of Reactive Systems: Logic ad Models of Cocur.. (context) - HAREL, PNUELI
1 ACM vol (context) - HOARE, Comm
1 Cofiuet Reductios: Abstract Properties ad Applicatios to Ter.. (context) - HUET
1 Construction et analyse des systbmes de transitions: le syst.. (context) - ARNOLD
1 ESTEREL: Towards a Snchronous and SemanticallySound High-Lev.. (context) - BERRY, MOISAN et al.
1 Maltriser et Appliquer le Grafcet (context) - BLANCHARD
1 INRIA report (context) - BORRAS, CLEMENT et al.
1 Programmarion Snchrone des Sstbmes Ractifs: le Langage ESTER.. (context) - BERRY, COURONN et al.
1 Acres du Colloque C3 d'Angoulme (context) - BOUDOL, an
1 Snchronous Programming of Reactive Sstems: an Introduction t.. (context) - BERRY, COURONN et al.
1 A Structural Approact to Operatioal Semmtics (context) - PLOTKIN
1 Collection of Technical Reports (context) - BERRY, BOUSSINOT et al.
1 gecilcatio md Verilcatio o Cocurret Systems i CESAR (context) - QUEILLE, SIFAKIS
1 ESTEREL Programming Examples (context) - BERRY, BOUSSINOT et al.
1 Programruling Lmguage (context) - STROUSTRUP, C-
1 Une Smantique du Langage ESTEREL (context) - mantique, ESTEREL et al.
1 SETHI From Regular Expressions to Deterministic Automata (context) - BERRY
1 YACC: Yet Aotter Compiler Compiler (context) - JOHNSON
1 Secifying Behavior Graphical Object Using ESTEREL (context) - ecifying, of et al.
1 Corouties md Networks oParallel Processes (context) - KAHN, QUEEN
1 A Language for Communicating vith Mice (context) - CARDELM, PIKE
1 Natural Sematics (context) - KAHN - 1987
1 a Declarative Language for RealTime Programming (context) - CASPI, PILAUD et al.
1 Modules for Stmdard ML (context) - QUEEN
1 INRIA Technical Report (context) - CHAILLOUX, Le Manuel et al.
1 Calculi or Syctroy ad Asyctroy (context) - MILNER
1 ationnelle du Langage Synchrone ESTEREL (context) - COSSERAT, mantique
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/who/riecke/reactive/reading-list.html):
A Quick Guide to Esterel, Version 5.10, release 1.1 - Berry (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC