LUSTRE

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.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 38 articles )

Showing results 1 to 20 of 38.
Sorted by year (citations)

1 2 next

  1. Müller, Peter (ed.); Schaefer, Ina (ed.): Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018 (2018)
  2. Neukirchen, Helmut: Elephant against Goliath: performance of big data versus high-performance computing DBSCAN clustering implementations (2018)
  3. Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc: A type-based analysis of causality loops in hybrid systems modelers (2017)
  4. Fischer, Jeffrey M.; Majumdar, Rupak: Programming by composing filters (2017)
  5. Altisen, Karine; Moy, Matthieu: Causality problem in real-time calculus (2016)
  6. De Maria, Elisabetta; Muzy, Alexandre; Gaffé, Daniel; Ressouche, Annie; Grammont, Franck: Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems (2016)
  7. Wang, Timothy E.; Garoche, Pierre-Loïc; Roux, Pierre; Jobredeaux, Romain; Féron, Éric: Formal analysis of robustness at model and code level (2016)
  8. Ghosh, Kamalesh; Dasgupta, Pallab; Ramesh, S.: Automated planning as an early verification tool for distributed control (2015)
  9. Motika, Christian; von Hanxleden, Reinhard: Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java (2015)
  10. Ploeg, Atze van der; Claessen, Koen: Practical principled FRP: forget the past, change the future, FRPNow! (2015)
  11. Saraswat, Vijay; Gupta, Vineet; Jagadeesan, Radha: TCC, with history (2014)
  12. Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros: Verifying hierarchical Ptolemy II discrete-event models using real-time maude (2012)
  13. Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter; Parkinson, Matthew: Behavioral interface specification languages (2012)
  14. Mandel, Louis; Plateau, Florence: Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n (2012)
  15. Schrammel, Peter; Jeannet, Bertrand: Applying abstract acceleration to (co-)reachability analysis of reactive programs (2012)
  16. Krishnaswami, Neelakantan R.; Benton, Nick: A semantic model for graphical user interfaces (2011)
  17. Lescaylle, Alexei; Villanueva, Alicia: Bridging the gap between two concurrent constraint languages (2011)
  18. Rocha, Camilo; Muñoz, César; Dowek, Gilles: A formal library of set relations and its application to synchronous languages (2011)
  19. Mandel, Louis; Plateau, Florence; Pouzet, Marc: Lucy-n: a n-synchronous extension of Lustre (2010)
  20. Schrammel, Peter; Jeannet, Bertrand: Extending abstract acceleration methods to data-flow programs with numerical inputs (2010)

1 2 next