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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.entcs.2008.05.010 | Electronic Notes in Theoretical Computer Science |
Keywords | DocType | Volume |
goto instruction,arbitrary finite state machine,instantaneous gotos,compilation.,synccharts,compilation,non-instantaneous gotopause instruction,exception handling mechanism,exceptions,exception handler,imperative synchronous programming language,instantaneous transitions,concurrency,instantaneous transition,non-instantaneous gotopauses,arbitrary location,computer science | Journal | 203 |
Issue | ISSN | Citations |
4 | Electronic Notes in Theoretical Computer Science | 1 |
PageRank | References | Authors |
0.38 | 14 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Olivier Tardieu | 1 | 462 | 32.13 |
Stephen A. Edwards | 2 | 1443 | 109.65 |