Snobol

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; Estere… SyncCharts SyncCharts- Graphical formalism (name of model, a syncChart is an instance) dedicated to reactive system modeling. Many features inherited from StateCharts, Argos. Brief introduct… Synchronous Programming Language Synchronous Programming Language- Growing article, with links to many related topics. Wikipedia. Averest 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… The Synchronous Group The Synchronous Group- Researches synchronous languages and reactive systems, team at Verimag laboratory, University of Grenoble, France. Presentation, people, research topics, la…