×

LUSTRE

swMATH ID: 8938
Software Authors: Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A.
Description: LUSTRE: a declarative language for real-time programming. 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.
Homepage: http://dl.acm.org/citation.cfm?id=41641
Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; StateFlow; Lucid; FAST; Aspic; SCADE; SPIN; Maude; PVS; Coq; nuXmv; Spark_DBSCAN; MR-DBSCAN; OpenSFS; HPDBSCAN
Referenced in: 38 Publications
all top 5

Referenced by 84 Authors

2 Jacquet, Jean-Marie
2 Jeannet, Bertrand
2 Lee, Edward Ashford
2 Linden, Isabelle
2 Mandel, Louis
2 Plateau, Florence
2 Pouzet, Marc
2 Schrammel, Peter
2 Tripakis, Stavros
2 Villanueva, Alicia
1 Alpuente, María
1 Altisen, Karine
1 Bae, Kyungmin
1 Benton, Nick
1 Benveniste, Albert
1 Berry, Gerard
1 Bertrane, Julien
1 Boulmé, Sylvain
1 Bourke, Timothy
1 Brogi, Antonio
1 Caillaud, Benoît
1 Cavalcanti, Ana
1 Chartier, Pierre
1 Claessen, Koen
1 Clayton, Phil
1 Cousot, Patrick
1 Cousot, Radhia
1 Dasgupta, Pallab
1 De Bosschere, Koen
1 De Maria, Elisabetta
1 Dowek, Gilles
1 du Bousquet, Lydie
1 Dupuy-Chessa, Sophie
1 Edwards, Stephen A.
1 Elliott, Conal M.
1 Feng, Thomas Huining
1 Feron, Eric
1 Field, John Everett
1 Fischer, Jeffrey M.
1 Gaffé, Daniel
1 Gallardo, M. M.
1 Garoche, Pierre-Loïc
1 Ghosh, Kamalesh
1 Gonthier, Georges
1 Grammont, Franck
1 Gupta, Vineet
1 Hamon, Grégoire
1 Hatcliff, John
1 Hudak, Paul
1 Jagadeesan, Radha
1 Jobredeaux, Romain
1 Krishnaswami, Neelakantan R.
1 Leavens, Gary T.
1 Leino, K. Rustan M.
1 Lescaylle, Alexei
1 Leucker, Martin
1 Lublinerman, Roberto
1 MacQueen, David B.
1 Majumdar, Rupak
1 Marinescu, Maria-Cristina
1 Motika, Christian
1 Moy, Matthieu
1 Müller, Peter
1 Muñoz, César A.
1 Muzy, Alexandre
1 Neukirchen, Helmut Wolfram
1 O’Halloran, Colin
1 Olveczky, Peter Csaba
1 Pagano, Bruno
1 Parkinson, Matthew J.
1 Paterson, Ross A.
1 Pimentel, Ernesto
1 Quinton, Patrice
1 Ressouche, Annie
1 Risset, Tanguy
1 Rocha, Camilo
1 Roux, Pierre
1 Saraswat, Vijay A.
1 Schaefer, Ina
1 Stefansen, Christian
1 Szegedy, Christian
1 van der Ploeg, Atze
1 von Hanxleden, Reinhard
1 Wang, Timothy E.

Referencing Publications by Year