Semantica denotazionale ed algebrica dei linguaggi di programmazione

A cura di: Rocco De Nicola, Vincenzo Manca, Ugo Montanari, Franco Turini

Semantica denotazionale ed algebrica dei linguaggi di programmazione

Printed Edition

33.50

Pages: 224

ISBN: 9788820430535

Edition: 2a edizione 1992

Publisher code: 272.7

Availability: Esaurito

Nell'ambito dell'informatica il problema di dare una formalizzazione alla programmazione è cresciuto di pari passo al divenire di questa disciplina sempre più scienza e sempre meno attività artigianale. Questo testo affronta uno dei temi cruciali in questo ambito: dare una semantica formale ai linguaggi di programmazione. L'approccio scelto è quello algebrico-denotazionale, che ha conquistato negli ultimi anni ampia diffusione.

Il materiale presentato è il risultato di numerosi anni di attività didattica da parte degli autori, svolta sia in corsi universitari sia in corsi postlaurea presso enti di formazione ed imprese.

Il volume può essere utilizzato come testo di corsi universitari o corsi di formazione ed aggiornamento in informatica e ingegneria del software. Può anche essere acquistato per motivi di autoformazione da chi possiede una cultura scientifica ed è insoddisfatto dall'approssimazione dei testi informatici disponibili.

Rocco De Nicola è ricercatore presso l'istituto di Elaborazione della Informazione del Cnr e professore a contratto presso il Dipartimento di Informatica dell'Università di Pisa, I suoi interessi di ricerca includono ingegneria del software e modelli, semantiche e linguaggi per sistemi concorrenti e distribuiti. E autore di circa 20 pubblicazioni su atti di congressi e riviste internazionali.

Vincenzo Manca è professore associato di informatica. I suoi interessi di ricerca sono principalmente in logica ed informatica teorica (Semantica algebrica, modelli astratti di computazione, e rappresentazioni logiche del linguaggio naturale). E' autore di vari lavori scientifici.

Ugo Montanari è professore ordinario di Metodi per il Trattamento dell'informazione presso il Dipartimento di Informatica dell'Università di Pisa. I suoi interessi di ricerca includono o hanno incluso: riconoscimento di immagini, linguaggi formali, intelligenza artificiale, ingegneria del software e semantica della concorrenza. E' autore di più di cento lavori scientifici.

Franco Turini è professore straordinario di Progetto di Sistemi Numerici presso il Dipartimento di Informatica dell'Università di Pisa. I suoi interessi di ricerca includono: progetto, definizione formale e realizzazione di linguaggi di programmazione, intelligenza artificiale, logic programming e ingegneria del software. è coautore del volume Introduzione alla Programmazione (Boringhieri, 1987) e di numerosi articoli scientifici, pubblicati su volumi e riviste internazionali.

1. INTRODUZIONE
1.1. Semantica del Linguaggi di Programmazione
1.1.1. Metodi per la Semantica Formale
1.1.2. Approccio Algebrico alla Semantica Denotazionale
1.1.3. Difficoltà Matematiche per la Semantica Denotazionale
1.1.4. Organizzazione del Testo
1.2. Sintassi Astratta e Morfismo di Interpretazione
1.2.1. Algebre e segnature
1.2.2. Algebre di termini
1.2.3. Sintassi astratta
1.2.4. Morfismo di Interpretazione
2. LA TEORIA DEL MINIMO PUNTO FISSO
2. 1. Linguaggi Funzionati e Semantica Operazionale
2.1.1. La Lamda-notazione
2.1.2. Il Formalismo di McCarthy
2.1.3. Semantica per Riscritture
2.2. Ordinamenti Parziali e Punti Fissi
2.2.1. Ordinamenti Parziali Completi
2.2.2. Funzioni Continue e Minimo Punto Fisso
2.2.3. Operazioni tra Domini
2.2.4. Domini Ricorsivi
2.3. Applicazioni della Teoria del Punto Fisso
2.3.1. Semantica di punto fisso del Formalismo di McCarthy
2.3.2. Relazioni tra semantica per riscrittura e semantica di punto fisso
2.3.3. Prove di proprietà di programmi funzionari
3. SEMANTICA DENOTAZIONALE DEI LINGUAGGI Di PROGRAMMAZIONE
3. 1. Semantica di due Semplici Formalismi
3.1.1. Semantica Denotazionale dei Numeri Binari
3.1.2. Semantica Denotazionale di una Calcolatrice Tascabile
3.2. Semantica di un Semplice Linguaggio Imperativo
3.2.1. Il Metalinguaggio
3.2.2. Il Linguaggio TINY
3.2.3. Semantica delle Espressioni
3.2.4. Semantica dei Comandi
3.3. Semantica di Linguaggi con Contesti
3.3.1. Il Linguaggio SMALL
3.3.2. Ambienti e Locazioni
3.3.3. Domini Semantici per SMALL
3.3.4. Semantica Diretta di SMALL
3.4. Semantica con Continuazioni
3.4.1. Controllo e Continuazioni
3.4.2. Outputs ed Answers
3.4.3. Nuovi Domini Semantici per SMALL
3.4.4. Semantica Standard di SMALL
3.4.5. La semantica dei Salti
3.4.6. Un Esempio
4. FONDAMENTI Di SPECIFICA ALGEBRICA
4. 1. Teorie, Specifiche e Calcoli
4.1.1. Equazioni e presentazioni
4.1.2. Modelli, teorie e specifiche
4.1.3. Calcoli e sistemi di riscrittura
4.1.4. Presentazioni e calcoli
4.2. Congruenze e Specifiche per lnizialità
4.2.1. Congruenze sottoalgebre e morfismi
4.2.2. Algebre finitamente generate
4.2.3. Completezza equazionale e specifiche per inizialità
4.3. Estensioni e Specifiche per Finalità
4.3.1. Estensioni e presentazioni gerarchiche
4.3.2. Specifiche gerarchiche per inizialità
4.3.3. Congruenze osservazionali e specifiche per finalità
APPENDICI
GLOSSARIO
BIBLIOGRAFIA


Serie: Crai