The Esterel Synchronous Programming Language: Design, Semantics, Implementation Export

@misc{citeulike:5832778, 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}, author = {Berry, Gerard and Gonthier, Georges and Ard Berry Georges Gonthier and Laltte, Place S.}, citeulike-article-id = {5832778}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606}, keywords = {cps, programming\_language\_design, software\_engineering}, posted-at = {2009-09-23 20:27:26}, priority = {2}, title = {The Esterel Synchronous Programming Language: Design, Semantics, Implementation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606}, year = {1992} }

TY - ELEC ID - citeulike:5832778 L3 - citeulike-article-id:5832778 N2 - 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 TI - The Esterel Synchronous Programming Language: Design, Semantics, Implementation KW - cps KW - programming_language_design KW - software_engineering AU - Berry, Gerard AU - Gonthier, Georges AU - Ard Berry Georges Gonthier AU - Laltte, Place PY - 1992/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606 ER -