Dioïdes et idéaux de polynômes en analyse statique
L'analyse statique a pour but de vérifier qu'un programme a le comportement souhaité c.à.d. satisfait des propriétés de sûreté. Toutefois, inférer les propriétés vérifiées par un programme est un problème difficile : le théorème de Rice énonce que toute propriété non triviale d'un lan...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00881301 http://tel.archives-ouvertes.fr/docs/00/88/13/01/PDF/Jobin2012.pdf |