Formal semantics - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2008

Formal semantics

Sémantiques formelles

(1, 2)
1
2

Abstract

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.
Fichier principal
Vignette du fichier
hdr.pdf (4.49 Mo) Télécharger le fichier

Dates and versions

tel-00336576 , version 1 (04-11-2008)

Identifiers

  • HAL Id : tel-00336576 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More