La necessità di risolvere problemi sempre più complessi in praticamente tutti i campi dell'attività umana dalla medicina alla storia dell'arte passando per l'ingegneria ed il cinema, richiede linguaggi ed ambienti di sviluppo sempre più facili da usare e sofisticati allo stesso tempo.

Questo libro descrive i risultati principali dell'attività di alcuni tra i più importanti gruppi di ricerca italiani nel campo della teoria dei linguaggi di programmazione nel quinquennio 1989-1994, periodo in cui hanno usufruito di un finanziamento del Progetto Finalizzato "Sistemi Informatici e Calcolo Parallelo" del CNR. Nel libro vengono illustrati linguaggi e relativi ambienti di sviluppo che, attraverso metodologie di specifica e strumenti di verifica, consentono la produzione razionale di programmi complessi (sia sequenziali che concorrenti). Questi metodi di sviluppo favoriscono la produzione di programmi corretti, facilmente estendibili e riutilizzabili.

Gilberto Filè dal 1987 è ordinario di Teoria della programmazione presso il Dipartimento di matematica pura ed applicata dell'Università di Padova. Dal 1992 è coordinatore del Sottoprogetto 4 (Linguaggi di nuova concezione) del Progetto Finalizzato "Sistemi Informatici e Calcolo Parallelo". La sua attività di ricerca concerne i linguaggi di programmazione ed in particolare i linguaggi logici ed i metodi formali per la loro ottimizzazione.