Sinossi

Il volume fornisce le nozioni fondamentali relative ai linguaggi di programmazione e un buon livello di conoscenza di diversi paradigmi, dal punto di vista sia concettuale sia operativo. Dopo un capitolo introduttivo, vengono presentati i diversi elementi, e i relativi strumenti formali di base, della descrizione di un linguaggio di programmazione: sintassi, semantica statica e semantica dinamica. Viene inoltre illustrato, sull'esempio di un semplice linguaggio didattico, come sviluppare un interprete a partire da tale descrizione. I due capitoli successivi riguardano il paradigma object-oriented e i paradigmi funzionale e logico. Per ciascun paradigma sono presentati i concetti generali indipendenti dal particolare linguaggio considerato; allo stesso tempo, questi concetti sono illustrati da esempi in un linguaggio principale di riferimento: Java per il paradigma object-oriented, Caml per quello funzionale e Prolog per quello logico. Particolare cura è stata rivolta alla descrizione del linguaggio Java, vista la sua notevole diffusione e importanza commerciale. Il testo è caratterizzato da una trattazione di concetti generali molto rigorosa, e da una guida alla programmazione dettagliata ed efficace. Sul sito www.utetuniversita.it, nella sezione E-learning, i lettori potranno consultare e scaricare materiale didattico aggiuntivo come il codice completo degli esempi presentati; sarà inoltre disponibile un forum per le domande dei lettori.