Synchronous languages

Paul.LeGuernic@irisa.fr (Paul Le Guernic)
Wed, 16 Feb 1994 10:22:05 GMT

          From comp.compilers
Related articles
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)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Paul.LeGuernic@irisa.fr (Paul Le Guernic)
Keywords: theory, dataflow
Organization: Irisa, Rennes(FR)
References: 94-02-086
Date: Wed, 16 Feb 1994 10:22:05 GMT

mweissen@thomson.ensem.u-nancy.fr (Michel WEISSENBACHER) writes:
> I'm looking for articles and docs about synchronous languages ( Like Esterel
> and Lustre ).


SIGNAL
      Real-time synchronized dataflow language: an application is
      a relation described as a set of equations. The compiler includes
      a formal calculus on sets of instants.
      "Data-Flow to von Neumann: the SIGNAL Approach",
            P. Le Guernic and T. Gautier, Advanced Topics in Data-Flow Computing,
            J.-L. Gaudiot and L. Bic, editors, Prentice Hall, 1991, 413--438.
      "Programming Real-Time Applications with "Signal"
            P. Le Guernic, T. Gautier, M. Le Borgne and C. Le Maire,
            Proceedings of the IEEE, vol. 79, no 9, september 1991, 1321--1336.
      In this special issue on Real-Time, Esterel and Lustre are also
            presented
      "A Denotational Theory of Synchronous Reactive Systems,
            A. Benveniste, P. Le Guernic, Y. Sorel and M. Sorine,
            Information and Computation, vol. 99, \No 2, august 1992,
            192--230.
--

Post a followup to this message

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