Sémantiques formelles

Résumé : Ce mémoire présente plusieurs définitions de sémantiques formelles et de transformations de programmes, et expose les choix de conception associés. En particulier, ce mémoire décrit une transformation de programmes inspirée de l'évaluation partielle et dédiée à la compréhension de programmes scientifiques écrits en Fortran. Il détaille également le front-end d'un compilateur réaliste du langage C, ayant été formellement vérifié en C.
Type de document :
HDR
Informatique [cs]. Université d'Evry-Val d'Essonne, 2008


https://tel.archives-ouvertes.fr/tel-00336576
Contributeur : Sandrine Blazy <>
Soumis le : mardi 4 novembre 2008 - 15:08:35
Dernière modification le : mardi 4 novembre 2008 - 15:13:17
Document(s) archivé(s) le : lundi 7 juin 2010 - 19:28:51

Fichier

Identifiants

  • HAL Id : tel-00336576, version 1

Collections

Citation

Sandrine Blazy. Sémantiques formelles. Informatique [cs]. Université d'Evry-Val d'Essonne, 2008. <tel-00336576>

Partager

Métriques

Consultations de
la notice

398

Téléchargements du document

3586