The Esterel Synchronous Programming Language: Design, Semantics, Implementation
Edit Page
Report
Scan day: 07 February 2014 UTC
22
Virus safety - good
Description: Abstract on paper on reactive kernels making the central, hardest part of reactive systems; Esterel is not full language, it is a program generator used to program reactive kernels as YACC programs parsers from grammars. [ResearchIndex]
CiteSeerX — The Esterel Synchronous Programming Language: Design, Semantics, Implementation The Esterel Synchronous Programming Language: Design, Semantics, Implementation (1992) Other Repositories/Bibliography
Size: 212 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | CiteSeerX — The Esterel Synchronous Programming Language: Design, Semantics, Implementation |
| Keywords: | CiteSeerX, Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte |
| Description: | CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): 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 |
| IP-address: | 130.203.136.95 |
WHOIS Info
| NS | Name Servers: NS1.PSU.EDU 128.118.25.6 NS2.PSU.EDU 128.118.70.6 |
| WHOIS | |
| Date | activated: 14-Jul-1986 last updated: 22-May-2013 expires: 31-Jul-2014 |