“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page xi — #7
i
i
i
i
i
i
i
i
Avant-propos
xi
Vous trouverez ici une sémantique opérationnelle de tous ces paradigmes dans un
cadre uniforme permettant de bien visualiser leurs relations les uns avec les autres. La
sémantique est une machine abstraite qui représente l’exécution comme un mécanisme
d’horlogerie. Les relations entre les paradigmes sont simples. Le paradigme de base
est la programmation déclarative. Chacun des deux autres contient un concept de
plus que la programmation déclarative : le fil (« thread ») pour la programmation
concurrente dataflow et la cellule (variable affectable, « cell ») pour la programmation
avec abstractions de données. Tout le reste, ce sont des techniques de programmation !
Ce livre est le résultat de nombreuses années de recherche et d’enseignement. Du
côté recherche, il intègre les travaux d’une communauté active sur les langages de programmation depuis le début des années 1990. Je tiens à mentionner Gert Smolka [38,
40, 41, 81, 82, 84, 85], Hassan Aït-Kaci [3, 6, 5, 4], Seif Haridi [45, 36, 46] et Sverker
Janson [45, 36, 46, 44], les grands pionniers, mais il y a beaucoup d’autres contributeurs ; je n’oublie pas les étudiants et les assistants qui ont subi nos cours pendant
de longues années. Ce cours est la traduction d’environ un tiers du livre « Concepts,
Techniques, and Models of Computer Programming » (CTM), que j’ai écrit avec Seif
Haridi [97, 95, 86, 33, 32, 37] et dont j’ai tenu à réaliser moi-même la traduction et
l’adaptation en français. Je tiens à remercier Raphaël Collet, Yves Jaradin, Stéphanie
Landrain et Chantal Poncin pour leur aide dans la traduction. Si vous voulez aller plus
loin dans la découverte de la programmation et des paradigmes, je vous conseille de
lire CTM.
Si vous avez des remarques ou si vous trouvez des erreurs, n’hésitez pas à me
contacter par courriel ou à contacter Seif Haridi. Nous tenons à remercier toutes les
personnes qui nous ont aidés dans la réalisation de ce livre. Seif Haridi voudrait spécialement remercier ses parents Ali et Amina et sa famille Eeva, Rebecca et Alexander.
Je voudrais également remercier particulièrement mes parents Frans et Hendrika et
ma famille Marie-Thérèse, Johan et Lucile, pour m’avoir aidé et soutenu.
Peter Van Roy
Département d’Ingénierie Informatique
Université catholique de Louvain
Louvain-la-Neuve, Belgique
Avril 2007
© Dunod – La photocopie non autorisée est un délit
i
i
i
i
i
i
i
i
Avant-propos
xi
Vous trouverez ici une sémantique opérationnelle de tous ces paradigmes dans un
cadre uniforme permettant de bien visualiser leurs relations les uns avec les autres. La
sémantique est une machine abstraite qui représente l’exécution comme un mécanisme
d’horlogerie. Les relations entre les paradigmes sont simples. Le paradigme de base
est la programmation déclarative. Chacun des deux autres contient un concept de
plus que la programmation déclarative : le fil (« thread ») pour la programmation
concurrente dataflow et la cellule (variable affectable, « cell ») pour la programmation
avec abstractions de données. Tout le reste, ce sont des techniques de programmation !
Ce livre est le résultat de nombreuses années de recherche et d’enseignement. Du
côté recherche, il intègre les travaux d’une communauté active sur les langages de programmation depuis le début des années 1990. Je tiens à mentionner Gert Smolka [38,
40, 41, 81, 82, 84, 85], Hassan Aït-Kaci [3, 6, 5, 4], Seif Haridi [45, 36, 46] et Sverker
Janson [45, 36, 46, 44], les grands pionniers, mais il y a beaucoup d’autres contributeurs ; je n’oublie pas les étudiants et les assistants qui ont subi nos cours pendant
de longues années. Ce cours est la traduction d’environ un tiers du livre « Concepts,
Techniques, and Models of Computer Programming » (CTM), que j’ai écrit avec Seif
Haridi [97, 95, 86, 33, 32, 37] et dont j’ai tenu à réaliser moi-même la traduction et
l’adaptation en français. Je tiens à remercier Raphaël Collet, Yves Jaradin, Stéphanie
Landrain et Chantal Poncin pour leur aide dans la traduction. Si vous voulez aller plus
loin dans la découverte de la programmation et des paradigmes, je vous conseille de
lire CTM.
Si vous avez des remarques ou si vous trouvez des erreurs, n’hésitez pas à me
contacter par courriel ou à contacter Seif Haridi. Nous tenons à remercier toutes les
personnes qui nous ont aidés dans la réalisation de ce livre. Seif Haridi voudrait spécialement remercier ses parents Ali et Amina et sa famille Eeva, Rebecca et Alexander.
Je voudrais également remercier particulièrement mes parents Frans et Hendrika et
ma famille Marie-Thérèse, Johan et Lucile, pour m’avoir aidé et soutenu.
Peter Van Roy
Département d’Ingénierie Informatique
Université catholique de Louvain
Louvain-la-Neuve, Belgique
Avril 2007
© Dunod – La photocopie non autorisée est un délit