Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00336576
Contributor : Sandrine Blazy Connect in order to contact the contributor
Submitted on : Tuesday, November 4, 2008 - 3:08:35 PM
Last modification on : Monday, February 21, 2022 - 3:38:08 PM
Long-term archiving on: : Monday, June 7, 2010 - 7:28:51 PM

File

Identifiers

  • HAL Id : tel-00336576, version 1

Collections

Citation

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

Share

Metrics

Record views

448

Files downloads

2694