“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 34 — #44
i
i
i
i
i
i
i
i
34
2
• La programmation déclarative
problèmes complexes du monde réel.
1 Les programmes modernes peuvent être assez
complexes, avec des tailles mesurées en millions de lignes de code source, écrits par de
grandes équipes de programmeurs humains et ce, sur plusieurs années. Notre point de
vue est que les langages qui permettent d’atteindre ce niveau de complexité réussissent
parce qu’ils modélisent certains aspects essentiels de la structure de programmes
complexes. Dans ce sens, ces langages ne sont pas que des constructions arbitraires
de l’esprit humain. Nous voulons donc les comprendre de façon scientifique, en
expliquant leur structure et leur comportement avec un modèle sous-jacent qui est le
plus simple possible. C’est la motivation profonde de l’approche du langage noyau.
L’approche du langage noyau
Nous utilisons l’approche du langage noyau pour définir la sémantique des langages de
programmation. Dans cette approche, toutes les constructions du langage sont définies
par leurs traductions dans un langage simple qui est appelé langage noyau. L’approche
comporte deux parties (voir figure 2.4) :
end
Langage pratique
Langage noyau
− Fournit des abstractions utiles
− Peut être étendu avec des
− Contient un petit nombre
− Est facile à comprendre et à
− Est défini par une sémantique
fun {Sqr X} X*X end
B={Sqr {Sqr A}}
pour le programmeur
abstractions linguistiques
de concepts, qui sont intuitifs
raisonner pour le programmeur
formelle (opérationnelle,
axiomatique ou dénotationnelle)
proc {Sqr X Y}
{’*’ X X Y}
end
local T in
{Sqr A T}
{Sqr T B}
Figure 2.4 L’approche du langage noyau pour la sémantique.
– D’abord, définissez un langage très simple, appelé langage noyau. Ce langage
doit être simple pour faciliter le raisonnement et doit être fidèle à l’efficacité en
1. Le chiffre de six décennies est un peu arbitraire. Nous le mesurons par rapport au premier ordinateur
à programme enregistré, le Manchester Mark I. Selon les documents du laboratoire, il a exécuté son
premier programme le 21 juin 1948 [83].
i
i
i
i
i
i
i
i
34
2
• La programmation déclarative
problèmes complexes du monde réel.
1 Les programmes modernes peuvent être assez
complexes, avec des tailles mesurées en millions de lignes de code source, écrits par de
grandes équipes de programmeurs humains et ce, sur plusieurs années. Notre point de
vue est que les langages qui permettent d’atteindre ce niveau de complexité réussissent
parce qu’ils modélisent certains aspects essentiels de la structure de programmes
complexes. Dans ce sens, ces langages ne sont pas que des constructions arbitraires
de l’esprit humain. Nous voulons donc les comprendre de façon scientifique, en
expliquant leur structure et leur comportement avec un modèle sous-jacent qui est le
plus simple possible. C’est la motivation profonde de l’approche du langage noyau.
L’approche du langage noyau
Nous utilisons l’approche du langage noyau pour définir la sémantique des langages de
programmation. Dans cette approche, toutes les constructions du langage sont définies
par leurs traductions dans un langage simple qui est appelé langage noyau. L’approche
comporte deux parties (voir figure 2.4) :
end
Langage pratique
Langage noyau
− Fournit des abstractions utiles
− Peut être étendu avec des
− Contient un petit nombre
− Est facile à comprendre et à
− Est défini par une sémantique
fun {Sqr X} X*X end
B={Sqr {Sqr A}}
pour le programmeur
abstractions linguistiques
de concepts, qui sont intuitifs
raisonner pour le programmeur
formelle (opérationnelle,
axiomatique ou dénotationnelle)
proc {Sqr X Y}
{’*’ X X Y}
end
local T in
{Sqr A T}
{Sqr T B}
Figure 2.4 L’approche du langage noyau pour la sémantique.
– D’abord, définissez un langage très simple, appelé langage noyau. Ce langage
doit être simple pour faciliter le raisonnement et doit être fidèle à l’efficacité en
1. Le chiffre de six décennies est un peu arbitraire. Nous le mesurons par rapport au premier ordinateur
à programme enregistré, le Manchester Mark I. Selon les documents du laboratoire, il a exécuté son
premier programme le 21 juin 1948 [83].