Directory of Synchronous Resources

Home > Computers > Programming > Languages > Synchronous

Synchronous programming languages are optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems.

Resources in This Category

• Averest

  http://www.averest.org/
  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).

• SyncCharts

  http://www.i3s.unice.fr/~map/WEBSPORTS/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 Programming Language

  http://en.wikipedia.org/wiki/Synchronous_programming_language
  Growing article, with links to many related topics. Wikipedia.

• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606
  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 Synchronous Group

  http://www-verimag.imag.fr/SYNCHRONE/
  Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, language design, publications, tools.

Related Categories

• Home > Computers > Software > Operating Systems > Realtime

 

Home > Computers > Programming > Languages > Synchronous

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us