Gestion de la Condition de Chemin dans la simulation symbolique.

Le traitement des branchements conditionnels est un problème spécifique à la simulation symbolique. La gestion de la Condition de Chemin consiste à déterminer si la valeur de vérité d'une condition est contenue dans tous les choix qui ont été opérés sur les tests précédemment rencontrés, ou si,...

Full description

Bibliographic Details
Main Author: Larnac, Mireille
Language:FRE
Published: 1992
Subjects:
Online Access:http://tel.archives-ouvertes.fr/tel-00866197
http://tel.archives-ouvertes.fr/docs/00/86/61/97/PDF/Larnac-these.pdf

Similar Items