Wectar - Computers - Programming - Languages - Synchronous

	submit a site to this category

	Synchronous Programming Language URL: http://en.wikipedia.org/wiki/Synchronous_programming_language ODP description: Growing article, with links to many related topics. Wikipedia. Page title: Synchronous programming language - Wikipedia, the free encyclopedia
	Design Methods for Reactive Systems: Yourdon, Statemate, and the UML URL: http://textbooks.elsevier.com/web/product_details.aspx?isbn=9781558607552 ODP description: R.J. Wieringa 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] Page description: Textbooks.elsevier.com - tools for all your teaching needs
	Averest URL: http://www.averest.org/ ODP description: 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). Page title: The Averest Framework
	The Multi-Paradigm Synchronous Programming Language LEA URL: http://www.ais.fraunhofer.de/~ap/papers/LEA.pdf ODP description: 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.
	Lustre URL: http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lang-design ODP description: 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] Page title: Synchronous: Lang-design
	Unification of Synchronous and Asynchronous Models for Parallel Programming Languages URL: http://cobweb.ecn.purdue.edu/~hankd/CARP/XPC/paper.html ODP description: Thesis proposing parallel language, based on C, that lets programmers explicitly specify and manage parallelism on a broad class of architectures. [Purdue University] Page title: UNIFICATION OF SYNCHRONOUS AND ASYNCHRONOUS MODELS FOR PARALLEL PROGRAMMING LANGUAGES
	The Synchronous Programming Language Signal: A Tutorial URL: http://www.irisa.fr/espresso/source/logiciels/SignalPrimer.pdf ODP description: For this declarative language, for realtime uses: reactive, embedded systems. Synchronous languages are opposite to the asynchronous types, as in C, Ada. Five chapters.
	The Synchronous Group URL: http://www-verimag.imag.fr/SYNCHRONE/ ODP description: Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, language design, publications, tools. Page title: Synchronous: Home
	SyncCharts URL: http://www.i3s.unice.fr/~map/WEBSPORTS/SyncCharts/ ODP description: 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. Page title: SPORTS PROJECT - NICE - SOPHIA ANTIPOLIS
	The Esterel Synchronous Programming Language: Design, Semantics, Implementation URL: http://citeseer.ist.psu.edu/berry92esterel.html ODP description: 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] Page title: The Esterel Synchronous Programming Language: Design, Semantics, Implementation - Berry, Gonthier (ResearchIndex) Page description: This paper, we shall mostly be concerned by reactive kernels that constitute the central and most difficult part of reactive systems. In fact, ESTEREL is not a full fledged programming language, but rather a program generator used to program reactive kernels in the same way as YACC is used to progra