Re: Synchronous languages (Scott Pakin)
Tue, 15 Feb 1994 17:27:08 GMT

          From comp.compilers

Related articles
Models of Processor Space (1994-02-13)
Synchronous languages (1994-02-14)
Re: Synchronous languages (1994-02-15)
Synchronous languages (1994-02-16)
Re: Synchronous languages (1994-02-16)
Re: Synchronous languages (1994-02-21)
Re: Synchronous languages (1994-02-22)
| List of all articles for this month |

Newsgroups: comp.compilers,comp.theory,comp.arch
From: (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 (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:

        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.

        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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.