Domains and Lambda-Calculi

Ce livre décrit les aspects mathématiques de la sémantique des langages de programmation. Les principaux objectifs sont de fournir des outils formels pour évaluer la signification des constructions de programmation d’une manière indépendante du langage et d’une manière indépendante de la machine et de prouver les propriétés des programmes tels que s’ils se terminent ou si leur résultat est une solution du problème qu’ils sont censés résoudre. Pour ce faire, les auteurs présentent d’abord de manière élémentaire et unifiée la théorie de certains espaces topologiques qui se sont révélés utiles dans la modélisation de diverses familles de lambda-calculs typés considérés comme langages de programmation de base et comme méta-langages pour la sémantique dénotationnelle. Cette théorie est connue sous le nom de théorie des domaines et a été fondée en tant que sujet par Scott et Plotkin. L’une des principales préoccupations est d’établir des liens entre les structures mathématiques et les approches plus syntaxiques de la sémantique souvent appelée sémantique opérationnelle qui est également décrite. Cette double approche a le double avantage de motiver les informaticiens à faire des mathématiques et d’intéresser les mathématiciens dans des domaines d’application inconnus de l’informatique. Langue: Anglais