Loading...
Please wait, while we are loading the content...
Similar Documents
Abstract SLA++P’07 Preliminary Version Instantaneous Transitions in Esterel
| Content Provider | CiteSeerX |
|---|---|
| Author | Tardieu, Olivier Edwards, Stephen A. |
| Abstract | Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs—sequences, loops, conditionals, and exceptions—its lack of a goto instruction makes the programming of arbitrary finite state machines awkward and hinders the design of source-to-source program transformations. We previously introduced to Esterel a non-instantaneous gotopause instruction, which prevents the synchronous execution of code before and code after the transition. Here, we tackle instantaneous transitions. Concurrency demands we assign scopes and priorities to gotos, so we extend Esterel’s exception handling mechanism to allow exception handlers in arbitrary locations. We advocate for and formalize the resulting language. We observe that instantaneous gotos complement but do not replace non-instantaneous gotopauses. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Abstract Sla Preliminary Version Instantaneous Transition Esterel Exception Imperative Synchronous Programming Language Instantaneous Gotos Complement Exception Handler Non-instantaneous Gotopauses Deterministic Concurrent Reactive System Arbitrary Finite State Machine Non-instantaneous Gotopause Instruction Instantaneous Transition Usual Control-flow Construct Sequence Source-to-source Program Transformation Synchronous Execution Goto Instruction Resulting Language Arbitrary Location |
| Content Type | Text |
