G. BERRY, F. BOUSSINOT, P. COURONN, G. GONTHIER, ESTEREL System Manuals, Collection of Technical Reports, Ecole des Mines / INRIA, Sophia-Antipolis (986).  Home/Search   Document Not in Database   Summary   Related Articles

....semantics of ESTEREL was developed together with the language; the implementation of ESTEREL is simply a physical realization of its semantics. The paper presents the language concepts and constructs, the mathematical semantics, and the ESTEREL implementations that are now under distribution. See [8, 9] for complete reference manuals and [6, 7] for a short introduction to the ESTEREL programming style. 1.1. Reactive systems and programs Many computer applications involve programs that maintain a permanent interaction with their environment, reacting to inputs coming from this environment by ....

....term is compared to the previously computed terms. This process is easily shown to terminate. Compiling is made very fast in the ESTEREL V3 system, which does not use the original ESTEREL language but a kernel reactive language described in [24] For instance, the digital wristwatch described in [8] compiles in about 5 seconds on a SUN3, yielding a 41 state automaton involving 2494 actions. This automaton can be easily translated into C, LISP, ADA, or more generally into any suitable host language. In final machine code, it would occupy about 3K bytes of memory and have very fast and ....

[Article contains additional citation context not shown here]

G. BERRY, F. BOUSSINOT, P. COURONN, G. GONTHIER, ESTEREL System Manuals, Collection of Technical Reports, Ecole des Mines / INRIA, Sophia-Antipolis (986).

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