|
|
 |
| |
|
Search Home : Computers : Programming : Languages : Synchronous
See Also:
- Argos and Argonaute: Argos: imperative synchronous language developed at Verimag. Argonaute: programming environment based on it, with compiler and some connections to verification tools. Aim: study, implement 2 mixed languages: Argos + Esterel/Lustre.
- Design Methods for Reactive Systems: Yourdon, Statemate, and the UML: By R.J. Wieringa; Morgan Kaufmann, 2002, ISBN 1558607552. Shows how techniques and approaches of 3 most popular design methods can be mixed in flexible, problem-driven way; more examples on companion website. [Morgan Kaufmann]
- Design Methods for Reactive Systems: Yourdon, Statemate, and the UML: Descriptions, reviews, purchase source. [Amazon.com]
- Esterel: Synchronous language and compiler, translates source code into complex state machines (software or hardware) automatically; can cut cost and development time of embedded systems by 50%. Recreates hijacked esterel.org website.
- Lustre: Declarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment developed by Esterel Technologies; a description is a set of equations that must be verified always by program variables. [Verimag]
- SyncCharts: Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduction, related publications, distribution, downloads.
- Synchronous Languages at Verimag: Languages and reactive systems laboratory: research topics, papers, tools, people, industrial and academic cooperations, projects/contracts. France.
- Synchronous Programming of Reactive Systems: Nicolas Halbwachs; Kluwer Academic Publishers, 1992, ISBN 0792393112. Presents synthesis of recent works on reactive system design, a term introduced to avoid ambiguities often involved with term realtime. [Kluwer]
- Synchronous Programming of Reactive Systems: Descriptions, reviews, purchase source. [Amazon.com]
- The Esterel Synchronous Programming Language: Design, Semantics, Implementation: 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]
- The Multi-Paradigm Synchronous Programming Language LEA: To program synchronous reactive systems, made by merging 3 existing synchronous languages (Lustre, Esterel, Argos) by uniform translation rules to a common intermediate format called Boolean automata. Paper, PDF format.
- The Synchronous Programming Language Signal: A Tutorial: For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters. Paper, PDF format.
- Unification of Synchronous and Asynchronous Models for Parallel Programming Languages: Thesis proposing parallel language, based on C, that lets programmers explicitly specify and manage parallelism on a broad class of architectures. [Purdue University]
| |
|
|
