CIALDEA MARTA
(programma)
CARATTERISTICHE DEL PARADIGMA DI PROGRAMMAZIONE
FUZIONALE. INTRODUZIONE AL LINGUAGGIO OBJECTIVE CAML. PROGETTAZIONE E
IMPLEMENTAZIONE DI PROGRAMMI RICORSIVI. DEFINIZIONE E USO DI FUNZIONI
DI ORDINE SUPERIORE. STRUTTURE DI DATI: LISTE, ALBERI BINARI, ALBERI
N-ARI, GRAFI. IMPLEMENTAZIONE DI ALGORITMI DI BACKTRACKING. IL SISTEMA
DEI MODULI DI OBJECTIVE CAML (STRUTTURE E SEGNATURE). GENERATORI DI
PARSER. STUDIO DI UN'APPLICAZIONE: LA LOGICA PROPOSIZIONALE.
(testi)
LIBRI DI TESTO:
M. CIALDEA MAYER, C. LIMONGELLI. INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE. ESCULAPIO 2002.
THE OBJECTIVE CAML SYSTEM. DOCUMENTATION AND USER'S GUIDE.
|
Università Roma Tre