|
Home >> Computers >> Programming >> Languages >> Synchronous |
|
The synchronous programing language occurs as programming language optimized for programming reactive systems, systems that are typically interrupted & must respond quickly. Numerous such systems come besides known as realtime systems, and come incurred typically within embedded uses. It is of growing importance.
Synchronous languages
| |
|
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 A "synchronous" team at the Verimag laboratory. Presentation, people. Research topics includes language design. Publications and tools. 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] 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] Design Methods for Reactive Systems: Yourdon, Statemate, and the UML Descriptions, reviews, purchase source. [Amazon.com] 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] Averest A set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler for synchronous programs, a symbolic model checker, and a tool for hardware/software synthesis. Downloadable in binary form for Linux (i586). |
|
© 2005 GeneralAnswers.org