Synchronous (Languages)

Synchronous Sites:

Argos and Argonaute 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. (Synchronous) http://www-verimag.imag.fr//SYNCHRONE/argonaute-english.html Lustre 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] (Synchronous) http://www-verimag.imag.fr//SYNCHRONE/lustre-english.html Unification of Synchronous and Asynchronous Models for Parallel Programming Languages 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) http://www.ece.purdue.edu/~hankd/CARP/XPC/paper.html Synchronous Programming of Reactive Systems Synchronous Programming of Reactive Systems: Descriptions, reviews, purchase source. [Amazon.com] (Synchronous) http://www.amazon.com/exec/obidos/ASIN/0792393112 Synchronous Languages at Verimag Synchronous Languages at Verimag: Languages and reactive systems laboratory: research topics, papers, tools, people, industrial and academic cooperations, projects/contracts. France. (Synchronous) http://www-verimag.imag.fr/SYNCHRONE/ The Multi-Paradigm Synchronous Programming Language LEA 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. (Synchronous) http://www.ais.fraunhofer.de/~ap/papers/LEA.pdf The Esterel Synchronous Programming Language: Design, Semantics, Implementation 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] (Synchronous) http://citeseer.nj.nec.com/berry92esterel.html The Synchronous Programming Language Signal: A Tutorial 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. (Synchronous) http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf Esterel 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. (Synchronous) http://www.softwaresafety.net/Esterel.org/esterel.html SyncCharts 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) http://www.i3s.unice.fr/sports/SyncCharts/ Design Methods for Reactive Systems: Yourdon, Statemate, and the UML 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] (Synchronous) http://books.elsevier.com/us/mk/us/subindex.asp?isbn=1558607552