Lustre (programming language)
- Lustre (programming language)
Lustre is a formally defined, declarative, and synchronous dataflow programming language, for programming reactive systems. It began as a research project in the early 1980s. In 1993, it progressed to practical, industrial use, in a commercial product, as the core language of the industrial environment SCADE, developed by Esterel Technologies. It is now used for critical control software in aircraft, helicopters, and nuclear power plants.
ee also
*SCADE (Software Critical Appllication Development Environment), a lustre-based IDE generating C-code
*Esterel
*Synchronous programming language
*Dataflow programming
External links
* [http://www-verimag.imag.fr/SYNCHRONE/ Synchrone Lab] Official website
* [http://www.esterel-technologies.com/products/scade-suite/overview.html SCADE] product page
Wikimedia Foundation.
2010.
Look at other dictionaries:
Lucid (programming language) — Infobox programming language name = Lucid logo = paradigm = Dataflow year = 1976 designer = Edward A. Ashcroft,William W. Wadge developer = ,Wadge latest release version = latest release date = typing = Typeless implementations = pLucid dialects … Wikipedia
Synchronous programming language — A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often … Wikipedia
Lustre — or Luster may refer to:* Luster, Norway, a community in Norway * Lustre (mineralogy), a description of the way light interacts with the surface of a crystal, rock, or mineral * Luster, a description of the way light interacts with the surface of… … Wikipedia
Lustre (Programmiersprache) — Lustre ist eine synchrone deklarative Programmiersprache. Inhaltsverzeichnis 1 Geschichtliche Entstehung von Lustre 2 Einsatzgebiete von Lustre 3 Programm Struktur … Deutsch Wikipedia
List of programming languages by category — Programming language lists Alphabetical Categorical Chronological Generational This is a list of programming languages grouped by category. Some languages are listed in multiple categories. Contents … Wikipedia
Dataflow programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… … Wikipedia
Esterel — is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is very well suited for control… … Wikipedia
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
SCADE — Infobox Software name = SCADE Suite caption = SCADE Suite 6.0 in Windows XP developer = Esterel Technologies latest release version = 6.0 latest release date = October 4, 2007 operating system = Microsoft Windows genre = Integrated development… … Wikipedia
