Publié pour la première fois en 1998, ce manuel est une étude large mais rigoureuse des bases théoriques de la définition de la conception et de la mise en œuvre des langages de programmation et des systèmes de spécification et de preuve du comportement des programmes. La programmation impérative et fonctionnelle est abordée ainsi que les moyens d’intégrer ces aspects dans des langages plus généraux. Reconnaissant une unité de technique sous la diversité de la recherche dans les langages de programmation, l’auteur présente un traitement intégré des principes de base du sujet. Il identifie le nombre relativement faible de concepts tels que la sémantique compositionnelle liant les domaines de transition des domaines de structure et les règles d’inférence qui servent de fondement au domaine. En supposant seulement la connaissance de la programmation élémentaire et des mathématiques, ce texte est parfait pour les cours avancés de premier cycle et de premier cycle en théorie des langages de programmation et plaira également aux chercheurs et aux professionnels dans la conception ou la mise en œuvre de langages informatiques. Langue: Anglais