Sémantiques formelles

Sémantiques formelles

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 sc...

Full description

Bibliographic Details
Main Author: Blazy, Sandrine
Language:FRE
Published: Université d'Evry-Val d'Essonne 2008
Subjects:
[INFO] Computer Science
[MATH] Mathematics
[INFO:INFO_SE] Computer Science/Software Engineering
compilation
méthodes formelles
assistant à la preuve
langage impératif
Online Access:http://tel.archives-ouvertes.fr/tel-00336576
http://tel.archives-ouvertes.fr/docs/00/33/65/76/PDF/hdr.pdf
id ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00336576
record_format oai_dc
spelling ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-003365762013-01-07T18:29:46Z http://tel.archives-ouvertes.fr/tel-00336576 http://tel.archives-ouvertes.fr/docs/00/33/65/76/PDF/hdr.pdf Sémantiques formelles Blazy, Sandrine [INFO] Computer Science [MATH] Mathematics [INFO:INFO_SE] Computer Science/Software Engineering compilation méthodes formelles assistant à la preuve langage impératif 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. 2008-10-23 FRE habilitation ࠤiriger des recherches Université d'Evry-Val d'Essonne
collection NDLTD
language FRE
sources NDLTD
topic [INFO] Computer Science
[MATH] Mathematics
[INFO:INFO_SE] Computer Science/Software Engineering
compilation
méthodes formelles
assistant à la preuve
langage impératif
spellingShingle [INFO] Computer Science
[MATH] Mathematics
[INFO:INFO_SE] Computer Science/Software Engineering
compilation
méthodes formelles
assistant à la preuve
langage impératif
Blazy, Sandrine
Sémantiques formelles
description 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.
author Blazy, Sandrine
author_facet Blazy, Sandrine
author_sort Blazy, Sandrine
title Sémantiques formelles
title_short Sémantiques formelles
title_full Sémantiques formelles
title_fullStr Sémantiques formelles
title_full_unstemmed Sémantiques formelles
title_sort sémantiques formelles
publisher Université d'Evry-Val d'Essonne
publishDate 2008
url http://tel.archives-ouvertes.fr/tel-00336576
http://tel.archives-ouvertes.fr/docs/00/33/65/76/PDF/hdr.pdf
work_keys_str_mv AT blazysandrine semantiquesformelles
_version_ 1716453076084195328

Similar Items