Concepts, techniques et modèles de programmation informatique

Ce texte novateur présente la programmation informatique comme une discipline unifiée d'une manière à la fois pratique et scientifiquement solide. Le livre se concentre sur les techniques de valeur durable et les explique précisément en termes d'une simple machine abstraite. Le livre présente tous les principaux paradigmes de programmation dans un cadre uniforme qui montre leurs liens profonds et comment et où les utiliser ensemble.

Après une introduction aux concepts de programmation, le livre présente des modèles de calcul ("paradigmes de programmation") bien connus et moins connus. Chaque modèle a son propre ensemble de techniques et chacun est inclus en fonction de son utilité en pratique. Les modèles généraux comprennent la programmation déclarative, la concurrence déclarative, la concurrence par passage de messages, l'état explicite, la programmation orientée objet, la concurrence à état partagé et la programmation relationnelle. Les modèles spécialisés comprennent la programmation d'interface utilisateur graphique, la programmation distribuée et la programmation par contraintes. Chaque modèle est basé sur son langage noyau – un langage de base simple qui se compose d'un petit nombre d'éléments significatifs pour le programmeur. Les langages noyau sont introduits progressivement, en ajoutant les concepts un par un, montrant ainsi les relations profondes entre les différents modèles. Les langages noyau sont définis précisément en termes d'une simple machine abstraite. Parce qu'une grande variété de langages et de paradigmes de programmation peuvent être modélisés par un petit ensemble de langages noyau étroitement liés, cette approche permet au programmeur et à l'étudiant de saisir l'unité sous-jacente de la programmation. Le livre contient de nombreux fragments de programmes et exercices, qui peuvent tous être exécutés sur le système de programmation Mozart, un progiciel Open Source qui propose un environnement de développement incrémental interactif.