|
 
|
[Bla08a] Sémantiques formelles
Mémoire de HDR : Soutenue le: 23 October 2008, pp. 138 pages, pp.: Directeur:Rapporteur 1:
Rapporteur 2:
Membre du jury:
Membre du jury:
Membre du jury:, : Sémantiques formelles,
motcle:
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 scienti fiques é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.
Equipe:
sys
BibTeX
| @misc { | |||
| Bla08a, | |||
| title | = | "{Sémantiques formelles}", | |
| author | = | "S. Blazy", | |
| year | = | 2008, | |
| pages | = | "138 pages", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| note | = | "{Post-Doctoral Degree (Phd students supervisor) Directeur: Rapporteur 1: Rapporteur 2: Membre du jury: Membre du jury: Membre du jury:}", | |
| } |
