M. Jourdan, F. Lagnier, F. Maraninchi, P. Raymond  Home/Search
Context Related
| imag.fr/pub/SPECTR...ustreICCL94.ps.gz arpont.imag.fr//PE...ustreICCL94.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: caltech.edu/~sedwards/sedwards (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A system is said to be reactive if it interacts continuously with an environment, at a speed imposed by the environment. The system deals with inputs and outputs and the languages for programming reactive systems aim at describing the complex ordering and causality relations between the inputs and the corresponding outputs. The synchronous approach, based upon the assumption that a system reacts in zero time, allows the definition of compositional semantics for various kinds of language... (Update)
Context of citations to this paper: More
...code generators. We are aware of two other approaches to integrating synchronous languages via sharing source modules, as we do. In [9], Argos and Lustre are proposed to be integrated via translating one of them to the other. In this way, the mixed language programs could...
...a combination of control based behaviors and periodic behaviors. This explains the interest for proposing multiparadigm languages [10, 16] or Mode automata, as a way to deal with running modes in a synchronous data ow language [15, 14] In this paper, we study the...
Cited by: More
Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee, Lee (1999) (Correct)
Embedded Software - Lee (2002) (Correct)
Modular Resetting of Synchronous Data-Flow Programs - Hamon, Pouzet (2000) (Correct)
Active bibliography (related documents): More All
0.1: A Modular State/Transition Approach for programming Reactive .. - Jourdan, Maraninchi (1994) (Correct)
0.1: Synchronous Programming of Reactive Systems - A Tutorial and.. - Halbwachs (1998) (Correct)
0.1: Synchronous Observers and the Verification of Reactive.. - Halbwachs, Lagnier, Raymond (1993) (Correct)
Similar documents based on text: More All
0.3: Specification and Validation of Embedded Systems using LUSTRE.. - Gmehlich (2001) (Correct)
0.2: Compiling ARGOS into Boolean equations (Extended Abstract) - Maraninchi, Halbwachs (1996) (Correct)
0.2: Static Timing Analysis of Real-Time Systems - Jourdan, Maraninchi (1995) (Correct)
Related documents from co-citation: More All
15: The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
14: The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
14: Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
BibTeX entry: (Update)
M. Jourdan, F. Lagnier, P. Raymond, and F. Maraninchi. A multiparadigm language for reactive systems. In 5th IEEE International Conference on Computer Languages, Toulouse, May 1994. IEEE Computer Society Press. http://citeseer.ist.psu.edu/jourdan94multiparadigm.html More
@inproceedings{ jourdanmultiparadigm,
author = "M. Jourdan and F. Lagnier and F. Maraninchi and P. Raymond",
title = "A Multiparadigm Language for Reactive Systems",
pages = "211--218",
url = "citeseer.ist.psu.edu/jourdan94multiparadigm.html" }
Citations (may not include all citations):457 The esterel synchronous programming language: Design - Berry, Gonthier - 1988
457 The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
270 Synchronous programming of reactive systems (context) - Halbwachs - 1993
194 the development of reactive systems (context) - Harel, Pnueli - 1985
84 Operational and compositional semantics of synchronous autom.. - Maraninchi - 1992
34 a declarative language for programming synchronous systems (context) - Caspi, Halbwachs et al. - 1987
16 Signal: A data flow oriented language for signal processing (context) - Le Guernic, Benveniste et al. - 1985
9 Special Section of the Proceedings of the IEEE (context) - at, programming - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://alumni.caltech.edu/~sedwards/sedwards.html): More
Analysis of Combinational Cycles in Sequential Circuits - Shiple, Singhal.. (1996) (Correct)
Compiling ARGOS into Boolean equations (Extended Abstract) - Maraninchi, Halbwachs (1996) (Correct)
CENTAUR: the system - Borras, Clément, Despeyrouz.. (1988) (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