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]
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.
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 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 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]
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]
Results: Previous 1 2 3 4
Site
Menu 
