Domains and Lambda-Calculi

Questo libro descrive gli aspetti matematici della semantica dei linguaggi di programmazione. Gli obiettivi principali sono quelli di fornire strumenti formali per valutare il significato dei costrutti di programmazione sia in modo indipendente dal linguaggio che dalla macchina e di dimostrare le proprietà dei programmi, come ad esempio se terminano o se il loro risultato è una soluzione del problema che dovrebbero risolvere. Per raggiungere questo obiettivo, gli autori presentano innanzitutto in modo elementare e unificato la teoria di alcuni spazi topologici che si sono dimostrati utili nella modellazione di varie famiglie di lambda calculi tipizzati considerati come linguaggi di programmazione di base e come meta-linguaggi per la semantica denotazionale. Questa teoria è nota come Teoria del Dominio ed è stata fondata come soggetto da Scott e Plotkin. Una delle principali preoccupazioni è quella di stabilire collegamenti tra strutture matematiche e approcci più sintattici alla semantica, spesso indicata come semantica operativa, che viene anche descritta. Questo duplice approccio ha il doppio vantaggio di motivare gli informatici a fare un po' di matematica e di interessare i matematici in aree di applicazione non familiari dell'informatica. Lingua: Inglese