LUSTRE(ID:1161/lus001)

Real-time dataflow language for synchronous systems, especially automatic control and signal processing. A Lucid subset, plus timing operators and user-defined clocks.

Related languages
LUCID => LUSTRE   Subset
LUSTRE => CPL   influence
LUSTRE => Lucid Synchrone   Evolution of
LUSTRE => SL   Influence
References:
  • Bergerand, J.-L. et al, "Outline of a Real-Time Data-Flow Language" view details
          in Proc IEE-CS Real Time Systems Symp, San Diego, IEEE Dec 1985 view details
  • Bergerand, J-L. "LUSTRE: Un langage déclaratif pour le temps réel". PhD thesis, University of Grenoble, 1986. view details
          in Proc IEE-CS Real Time Systems Symp, San Diego, IEEE Dec 1985 view details
  • Bergerand, J-L. Caspi, P. Halbwachs, and J. A. Plaice. "Automatic control systems programming using a real-time declarative language. view details
          in 5th IFAG/IFIP Symposium on Software/or Computer Control (SO- COCO), Graz, Austria, 1986. view details
  • Caspi, P. et al, "LUSTRE: A Declarative Language for Programming Synchronous Systems", Conf Rec 14th Ann ACM Symp on Princ Prog Langs, 1987. view details Abstract: LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton which represents the control of the program. Formal rules for program transformation are also presented. DOI
          in 5th IFAG/IFIP Symposium on Software/or Computer Control (SO- COCO), Graz, Austria, 1986. view details
  • Halbwachs, N.; Caspi, P.; Raymond, P. and Pilaud, D. "The synchronous data-flow programming language LUSTRE" view details Abstract: This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems -
    such as automatic control and monitoring systems - as well as for describing hardware. The dataflow aspect of Lustre makes it very close to usual description tools in these domains (block-diagrams, networks of operators, dynamical samples-systems, etc), and its synchronous interpretation makes it well suited for handling time in programs. Moreover, this synchronous interpretation allows it to be compiled into an efficient sequential program. Finally, the Lustre formalism is very similar to temporal logics. This allows the language to be used for both writing programs and expressing program properties, which results in an original program verification methodology. External link: Online at Citeseer
          in Proceedings of the IEEE, 79, 1991 view details
  • Halbwachs, Nicolas "A Tutorial Of Lustre" view details Abstract: This document is an introduction to the language Lustre V4 and its
    associated tools. We will not give a systematic presentation of the language, but a complete bibliography is added. The basic references are [8, 12]. The most recent features (arrays, recursive nodes) are described in [32]. External link: Online at Citeseer
          in Proceedings of the IEEE, 79, 1991 view details
  • Lee, Edward A. "Multidimensional Streams Rooted in Dataflow" view details
          in [IFIP] Proceedings of the IFIP Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism (January 20-22, 1993, Orlando, Florida) North-Holland, New York, 1993. view details