Abstract | ||
---|---|---|
Structured synchronous reactive programming (SSRP) augments classical structured programming (SP) with continuous interaction with the environment. We advocate SSRP as viable in multiple domains of reactive applications and propose a new abstraction mechanism for the synchronous language Céu: Organisms extend objects with an execution body that composes multiple lines of execution to react to the environment independently. Compositions bring structured reasoning to concurrency and can better describe state machines typical of reactive applications. Organisms are subject to lexical scope and automatic memory management similar to stack-based allocation for local variables in SP. We show that this model does not require garbage collection or a free primitive in the language, eliminating memory leaks for organisms by design. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1145/2724525.2724571 | MODULARITY |
Keywords | DocType | Citations |
esterel,language constructs and features,concurrency,reactivity,structured programming,synchronous,imperative,determinism | Conference | 0 |
PageRank | References | Authors |
0.34 | 14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francisco Sant'Anna | 1 | 0 | 0.34 |
Roberto Ierusalimschy | 2 | 463 | 54.25 |
Noemi de La Rocque Rodriguez | 3 | 0 | 0.34 |