“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 112 — #122
i
i
i
i
i
i
i
i
112
3
• Techniques de programmation déclarative
pour de petits programmes. Mais cela suffit quand la sûreté a une importance capitale,
par exemple quand il y a des vies en jeu comme dans les appareils médicaux ou les
transports publics.
Les langages de spécification dépassent la portée de cet ouvrage.
3.1.3 L’implémentation des composants
Combiner des instructions déclaratives selon les constructions du modèle déclaratif
donne une autre instruction déclarative. Expliquons d’abord ce qu’est une instruction
déclarative. Prenez une instruction dans le modèle déclaratif. Partitionnez ses identificateurs libres en entrées et sorties. Les entrées sont liées aux valeurs partielles et
les sorties sont liées aux variables non liées. Exécutez l’instruction. Cela donnera une
des trois possibilités suivantes : (1) une exécution complète avec des liens pour les
variables non liées, (2) une suspension (l’exécution n’est pas complète) ou (3) une
exception. Dans les cas (2) et (3), nous ne regardons pas les liens des variables. Si
l’instruction est déclarative, pour les mêmes entrées le résultat sera toujours le même.
Par exemple, considérez l’instruction Z=X. Supposez que X est l’entrée et Z la sortie.
Pour tout lien de X à une valeur partielle, l’exécution de cette instruction liera Z à la
même valeur partielle. L’instruction est donc déclarative.
Nous pouvons utiliser ce résultat pour prouver que
if X>Y then Z=X else Z=Y end
est déclarative. Partitionnez les trois identificateurs libres, X, Y et Z, en deux entrées X
et Y et une sortie Z. Alors, si X et Y sont liées à deux valeurs partielles quelconques,
l’exécution de l’instruction suspendra ou liera Z à une de ces deux valeurs, déterminée
par la comparaison X>Y. L’instruction est donc déclarative.
Nous pouvons faire ce raisonnement pour toutes les opérations du modèle déclaratif :
– D’abord, toutes les opérations de base sont déclaratives. Ces opérations sont
expliquées dans la section 2.3.5.
– Ensuite, combiner les opérations déclaratives avec les constructions du modèle
déclaratif donne d’autres opérations déclaratives. Il y a cinq instructions composées dans le modèle déclaratif :
• La composition séquentielle.
• L’instruction local.
• L’instruction if.
• L’instruction case.
• La déclaration de procédure, l’instruction x=v quand v est une valeur
procédurale.
i
i
i
i
i
i
i
i
112
3
• Techniques de programmation déclarative
pour de petits programmes. Mais cela suffit quand la sûreté a une importance capitale,
par exemple quand il y a des vies en jeu comme dans les appareils médicaux ou les
transports publics.
Les langages de spécification dépassent la portée de cet ouvrage.
3.1.3 L’implémentation des composants
Combiner des instructions déclaratives selon les constructions du modèle déclaratif
donne une autre instruction déclarative. Expliquons d’abord ce qu’est une instruction
déclarative. Prenez une instruction dans le modèle déclaratif. Partitionnez ses identificateurs libres en entrées et sorties. Les entrées sont liées aux valeurs partielles et
les sorties sont liées aux variables non liées. Exécutez l’instruction. Cela donnera une
des trois possibilités suivantes : (1) une exécution complète avec des liens pour les
variables non liées, (2) une suspension (l’exécution n’est pas complète) ou (3) une
exception. Dans les cas (2) et (3), nous ne regardons pas les liens des variables. Si
l’instruction est déclarative, pour les mêmes entrées le résultat sera toujours le même.
Par exemple, considérez l’instruction Z=X. Supposez que X est l’entrée et Z la sortie.
Pour tout lien de X à une valeur partielle, l’exécution de cette instruction liera Z à la
même valeur partielle. L’instruction est donc déclarative.
Nous pouvons utiliser ce résultat pour prouver que
if X>Y then Z=X else Z=Y end
est déclarative. Partitionnez les trois identificateurs libres, X, Y et Z, en deux entrées X
et Y et une sortie Z. Alors, si X et Y sont liées à deux valeurs partielles quelconques,
l’exécution de l’instruction suspendra ou liera Z à une de ces deux valeurs, déterminée
par la comparaison X>Y. L’instruction est donc déclarative.
Nous pouvons faire ce raisonnement pour toutes les opérations du modèle déclaratif :
– D’abord, toutes les opérations de base sont déclaratives. Ces opérations sont
expliquées dans la section 2.3.5.
– Ensuite, combiner les opérations déclaratives avec les constructions du modèle
déclaratif donne d’autres opérations déclaratives. Il y a cinq instructions composées dans le modèle déclaratif :
• La composition séquentielle.
• L’instruction local.
• L’instruction if.
• L’instruction case.
• La déclaration de procédure, l’instruction x=v quand v est une valeur
procédurale.