Return to search

LUSTRE : un langage déclaratif pour le temps réel

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)

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00320006
Date06 January 1986
CreatorsBergerand, Jean-Louis
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0016 seconds