Mémoire de D E A

Niveau: Supérieur
Mémoire de D.E.A. Laboratoire d'Informatique de l'École Polytechnique Conception de -sa : un analyseur statique générique pour le -calcul Jérôme Feret sous la direction de : Radhia Cousot Arnaud Venet soutenu le 14 septembre 1999

• processus alternés


• problèmes d'échappement


• compteur de processus


• indépendance des variables


• sémantique abstraite


• relation d'exclusion


• contraintes d'exclusion mutuelle


• transfert de point xe


• analyse du ux de controle


• domaines abstraits