Programmazione II project, University of Pisa, A.A. 2018-2019
Il progetto ha l’obiettivo di applicare a casi specifici i concetti e le tecniche di programmazione esaminate durante la seconda parte del corso, e consiste nella progettazione e realizzazione di alcuni moduli software.
Descrizione: Progettazione e sviluppo di un interprete in OCaml Si consideri un’estensione del linguaggio didattico funzionale presentato a lezione che permetta di manipolare dizionari.
- Definire le regole operazionali per la gestione del dizionario
- Estendere l’interprete OCaml del linguaggio funzionale assumendo la regola di scoping statico.
- Opzionale : definire il type checker dinamico del linguaggio risultante.
- Si verifichi la correttezza dell’interprete progettando ed eseguendo una quantità di casi di test sufficiente a testare tutti gli operatori aggiuntivi.