Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Efficiently distributing synchronous programs is a challenging and long-standing subject. This paper introduces the use of… Expand
  • figure 1
Is this relevant?
2010
2010
Synchronous approach has been proposed in the middle of the 80’s with the aim of reconcile concurrent programming with… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2009
2009
It is widely known that MPI-IO performs poorly in a Lustre file system environment, although the reasons for such performance are… Expand
  • figure 1
  • figure 2
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
2008
2008
Mutation analysis is usually used to provide indication of the fault detection ability of a test set. It is mainly used for unit… Expand
  • table 1
  • table 2
  • table 3
  • figure 5
  • table 4
Is this relevant?
2008
2008
Walk into the local health food shop or pick up today's paper and the chances are that you'll see adverts for acupuncture and… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present a method of translating discrete-time Simulink models to Lustre programs. Our method consists of three steps: type… Expand
  • figure 1
  • table 2
  • table 3
  • figure 2
  • figure 3
Is this relevant?
2005
2005
We present structural test coverage criteria for LUSTRE programs. LUSTRE is a synchronous data-flow declarative language widely… Expand
Is this relevant?
2005
2005
Cleusonite, (Pb,Sr)(U4+,U6+) (Fe2+,Zn)2 (Ti,Fe2+,Fe3+)18 (O,OH)38, is a new member of the crichtonite group. It was found at two… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We describe a test sequence generation method from LUSTRE descriptions and its companion tool, GATEL. The LUSTRE language is… Expand
  • figure 2
  • figure 4
  • figure 9
  • figure 8
Is this relevant?
1992
1992
Lustre est un langage de programmation specialement concu pour la realisation des systemes reactifs. Le besoin de garantir que… Expand
Is this relevant?