-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
lustre.scroll
33 lines (28 loc) · 1.23 KB
/
lustre.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
import ../code/conceptPage.scroll
id lustre
name Lustre
appeared 1993
tags pl
fileType text
centralPackageRepositoryCount 0
country France and United States
originCommunity Esterel Technologies
wikipedia https://en.wikipedia.org/wiki/Lustre_(programming_language)
example
node Edge (X : bool) returns (E : bool);
let
E = false -> X and not pre X;
tel
related esterel signal
summary 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. A formal presentation of the language can be found in the 1991 Proceedings of the IEEE. 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.
pageId 2211835
dailyPageViews 26
created 2005
backlinksCount 22
revisionCount 51
appeared 1993
hopl https://hopl.info/showlanguage.prx?exp=1161
tiobe Lustre
isbndb 1
year|publisher|title|authors|isbn13
||Lustre (programming Language)|Surhone and Lambert M. and Tennoe and Mariam T. and Henssonow and Susan F.|9786133175624