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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université d'Evry-Val d'Essonne
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00336576 http://tel.archives-ouvertes.fr/docs/00/33/65/76/PDF/hdr.pdf |