Semantik

Ce manuel s'adresse aux étudiants et aux praticiens ambitieux qui s'intéressent à la théorie de la programmation et à la sémantique des langages de programmation, tout en souhaitant découvrir des concepts plus récents. Le flux de données d'un langage de programmation impératif et non déterministe, ainsi que le flux de contrôle d'un langage sans variables, sont d'abord décrits séparément, puis combinés en une sémantique unifiée pour les programmes parallèles. Une attention particulière est accordée à l'étude des relations mathématiques entre les différentes approches sémantiques. Le livre est entièrement accompagné de preuves facilement compréhensibles et d'exemples pratiquement pertinents, et comprend, en plus de grandes études de cas, des exercices avec des solutions types ainsi qu'une large sélection de littérature.