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 .

mots clés

• Compilation
• Langage programmation
• Programmation système
• Système temps réel
• Sémantique dénotationnelle
• Compilation
• Programming language
• System programming
• Real time system
• Denotational semantics
• Parallélisme (informatique)
• Temps réel (informatique)
• Compilateurs (logiciels)

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.