Sémantique et compilation de LUSTRE, un langage déclaratif synchrone

par John Alexander Plaice

Thèse de doctorat en Informatique

Sous la direction de Nicolas Halbwachs.

Soutenue en 1988

à Grenoble INPG .


  • Résumé

    Le langage étudie est un langage de programmation des systèmes temps réel fonde sur une interprétation synchrone des réseaux a flux de données. Son compilateur a été conçu entièrement à partir de descriptions formelles de la sémantique du langage. L'originalité principale du compilateur est qu'il tient d'une part aux vérifications statiques de cohérence temporelle et d'autre part à la génération de code séquentiel, par synthèse du contrôle sous forme d'automate fini


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 122 f

Où se trouve cette thèse ?