Skip to search formSkip to main contentSkip to account menu

Lustre (programming language)

Known as: Lustre, Lustre language, Lustre programming language 
Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Dataflow programmingEsterelList of concurrent and parallel programming languagesList of programming languages

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Variability in colour, metallic lustre, and body size of Carabus arvensis Herbst, 1784 (Coleoptera: Carabidae) in relation to habitat properties
Objectives are to elucidate whether populations of Carabus arvensis Herbst, 1784 from contrasting habitats differ in (i) colour… 
2007
2007
Polyquaternium-69: A New Fixative Polymer with Enhanced Styling Benefits
PVP and PVP/VA have long been the mainstay of traditional styling gels and mousses but the rapid release of new hair care… 
2007
2007
Empowering distributed workflow with the data capacitor: maximizing lustre performance across the wide area network
The Indiana University Data Capacitor is a 535 TB distributed parallel filesystem constructed for short to mid term storage of… 
2003
2003
Marinellite, a new feldspathoid of the cancrinite-sodalite group
Marinellite, [(Na,K) 42 Ca 6 ](Si 36 Al 36 O144)(SO 4 ) 8 Cl 2 .6H 2 O, cell parameters a = 12.880(2) A, c = 31.761(6) A, is a… 
2003
2003
La situació del valencià segons la sociolingüística no institucional (1998-2002)
L'article descriu algunes de les principals recerques no institucionals efectuades al llarg del darrer lustre sobre la situacio… 
2001
2001
Luminance binocular disparity for 3D surface simulation
Different stereoscopic effects, base don 100 percent binocular luminance contrast have been described previously: the 'sieve… 
2000
2000
Metabolic and enzymatic adaptations in northern krill, Meganyctiphanes norvegica, and Antarctic krill, Euphausia superba
The Antarctic krill, Euphausia superba, is restricted to the Antarctic Ocean. The northern krill, Meganyctiphanes norvegica , is… 
1992
1992
Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE. (Design and implementation of a formal verification tool for lustre programs : the system Lesar)
Lustre est un langage de programmation specialement concu pour la realisation des systemes reactifs. Le besoin de garantir que… 
1986
1986
Parabariomicrolite, a new species, and its structural relationship to the pyrochlore group
Parabariomicrolite _BaTa401O(OHh.2H20 is rhomb,9hedral, spac~ group R3m, with a 7.4290(6), c 18.505(2) A, V 884.5(1) A, Z = 3… 
1974
1974
Magnesian collinsite from Milgun Station, Western Australia
Summary An occurrence of magnesian collinsite has been found with other rare phosphates in a variscite deposit in semi-desert 15… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)