• Non ci sono risultati.

Linguaggi di Programmazione programma del corso Nozioni preliminari –

N/A
N/A
Info
Scarica
Protected

Academic year: 2021

Condividi "Linguaggi di Programmazione programma del corso Nozioni preliminari –"

Copied!
1
0
0

Caricamento.... (Visualizza il testo completo ora)

Scarica adesso ( 1 pagine )

Testo completo

(1)

Linguaggi di Programmazione

programma del corso

Nozioni preliminari – Algebra

• Induzione strutturale

• Tipi induttivi (naturali, liste, alberi...)

• Sintassi astratta – Co-algebra

• Co-induzione

• Oggetti e tipi di dato astratto

Parte I: paradigmi di programmazione – Il paradigma funzionale

• Binding statico e binding dinamico

• Valutazione lazy e valutazione eager

• Semantica di un (mini) linguaggio funzionale – Il paradigma imperativo

• Le locazioni

• Il passaggio dei parametri (valore, reference e nome)

• Semantica di un (mini) linguaggio Algol-like – Il paradigma ad oggetti (cenni)

Parte II: correttezza di programmi – Specifica e verifica nei linguaggi imperativi

• Il metodo delle invarianti

• Hoare Logic

– Specifica e verifica nei linguaggi funzionali

• Teorie equazionali

• Una teoria dei tipi dipendenti

Parte III: sistemi dei tipi – I tipi nei linguaggi funzionali

• Annotazioni di tipo come specifica

• Inferenza dei tipi come verifica – Il polimorfismo

• Tipi generici

• Il polimorfismo in ML

Epilogo

– Una mappa concettuale: linguaggi, logica, algebra e modelli.

Riferimenti

Scarica adesso ( PDF - 1 pagine - 29.80 KB )

Documenti correlati

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

Siccome le regole specificano il significato delle espressioni in modo operazionale, si dice che esse definiscono una semantica operazionale di tali espressioni. Alcune regole

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

Induzione matematica e strutturale sono casi particolari di un potente metodo di prova chiamato induzione ben fondata In questa lezione vedremo in dettaglio:. ¾ Induzione

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

Supponiamo di voler estendere le espressioni aritmetiche di IMP includendo un nuovo operatore “^” con il significato di elevamento a potenza. La sintassi di Aexp di IMP verrà

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

Negli anni sessanta, Christopher Strachey e Dana Scott riuscirono a superare le limitazioni della semantica operazionale introducendo una semantica più astratta basata sull’utilizzo

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

La sintassi specifica sia la struttura lessicale del linguaggio (come costruire le parole a partire dai caratteri dell’alfabeto) sia le regole per la costruzione delle

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

Si noti che nel comando if, comunque sia valutato b in σ’, esso viene interrotto dopo l’esecuzione di c e dunque in questo caso <w,σ> è valutato σ’ sse <if,σ>.

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

Passo induttivo: supponendo che l’asserto sia vero per un albero di derivazione alto n e per n cicli di valutazioni nella denotazione del while (con n > 0, quindi anche per

Fondamenti dei linguaggi di programmazione Fondamenti dei linguaggi di Fondamenti dei linguaggi di programmazione programmazione

L'iterazione ed il singolo ciclo terminano non appena viene incontrata una espressione booleana che valuta a falso”. Verificare che le due semantiche