|
|
Progetti
|
Un interprete per espressioni aritmetico-logiche, per
il lisp e per il prolog, scritto in Java. Realizzato per il corso
di Linguaggi
e Traduttori |
|
Un sistema di soddisfacimento di vincoli su domini finiti
a valori interi. Comprende anche un'applicazione per ambienti Windows
95/98/NT/2000. Realizzato in collaborazione con Fabio
Adani per i corsi di Ingegneria
del Software e Intelligenza
Artificiale. |
|
|
|