Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| Models of Processor Space cladchon@cs.anu.edu.au (1994-02-13) |
| Synchronous languages mweissen@thomson.ensem.u-nancy.fr (1994-02-14) |
| Re: Synchronous languages pakin@green-hornet.cs.uiuc.edu (1994-02-15) |
| Synchronous languages Paul.LeGuernic@irisa.fr (1994-02-16) |
| Re: Synchronous languages harcourt@eos.ncsu.edu (1994-02-16) |
| Re: Synchronous languages Eric.Rutten@irisa.fr (1994-02-21) |
| Re: Synchronous languages Nicolas.Halbwachs@imag.fr (1994-02-22) |
| Newsgroups: | comp.compilers,comp.theory,comp.arch |
| From: | pakin@green-hornet.cs.uiuc.edu (Scott Pakin) |
| Summary: | Info about LUSTRE and Esterel |
| Keywords: | theory |
| Organization: | University of Illinois, Dept of Comp Sci, Urbana, IL |
| References: | 94-02-084 94-02-086 |
| Date: | Tue, 15 Feb 1994 17:27:08 GMT |
mweissen@thomson.ensem.u-nancy.fr (Michel WEISSENBACHER) writes:
> I'm looking for articles and docs about synchronous languages ( Like Esterel
> and Lustre ).
Searching the handy-dandy CUI Language List reveals the following:
LUSTRE
Real-time dataflow language for synchronous systems, especially
automatic control and signal processing. A Lucid subset, plus timing
operators and user-defined clocks. "Outline of a Real-Time Data-Flow
Language", J.-L. Bergerand et al, Proc IEE-CS Real Time Systems Symp,
San Diego, IEEE Dec 1985, pp.33-42. "LUSTRE: A Declarative Language
for Programming Synchronous Systems", P. Caspi et al, Conf Rec 14th
Ann ACM Symp on Princ Prog Langs, 1987.
Esterel
Distributed language for synchronous interaction of real-time systems
with their environment. Uses explicit timing requests. Esterel
programs are compiled into finite automata. "The ESTEREL Programming
Language and its Mathematical Semantics", G. Berry & L. Cosserat, TR
327, INRIA, 1984.
-- Scott
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.