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,...
| Main Author: | |
|---|---|
| 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 |