LUSTRE : un langage déclaratif pour le temps réel
LUSTRE: a real time declarative language
Résumé
Le langage est conçu de manière à permettre une interprétation synchrone des suites. La nature du langage (dont la sémantique s'exprime simplement) permet des manipulations formelles sur les programmes dans le but de faire des vérifications et des preuves de correction. Des exemples illustrent l'utilisation du langage pour la programmation de systèmes temporisés pris dans différents domaines (temps réel classique, automatique, systolique, spécification et conception des circuits)