École Jeunes Chercheurs en Programmation - 17 au 28 Mars 1997
École Jeunes Chercheurs en Programmation - INRIA Sophia Antipolis
- 17 au 28 Mars 1997
Analyse sémantique de programmes par interprétation
abstraite (Droits d'auteurs/Copyright Notice)
Patrick Cousot
Jeudi 20 Mars 1997, 9h15 - 12h30 & 14h30 - 17h45.
- Introduction informelle et exemples ;
- Rappels mathématiques sur les treillis et points fixes ;
- Approximation de points fixes par correspondances de Galois ;
- Approximation de points fixes par
élargissement/rétressissement ;
- Méthode de conception d'une interprétation abstraite.
Exemples d'analyse sémantique de programmes
Retour à / back to:
Index,
Institutions,
Enseignement / Teaching,
Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified :
Wednesday, 04-Jun-2003 12:23:10 CEST