Date: Wed 13 Nov
Time: 15.00
Place: room 214

Speaker: S. Etalle
Title: Trasformazioni ed analisi dei programmi logici: un nuovo approccio

Abstract. Il seminario sara' concepito in forma divulgativa (tanti esempi, ma pochi teoremi). Sara' diviso in due sezioni:

1. Nella prima parte vorrei descrivere una nuova metodologia per trasformare programmi logici programmi in un linguaggio funzionale (per gli esempi usero' Haskell). In questa parte intendo:
   • introdurre e discutere brevemente i programmi logici ben modati e ben tipati.
   • presentare le tecniche usate per trasformare il programma
   • discutere i risultati di correttezza che gia' abbiamo nonche' i (molti) risultati che dobbiamo ancora dimostrare, e le tecniche che intendiamo utilizzare.
2. Nella seconda parte vorrei utilizzare i risultati della prima per isolare alcune caratteristiche "peculiari" del paradigma logico e in base a queste fornire una "classificazione" dei programmi logici medesimi.

Per seguire il seminario e' utile avere una minima conoscenza del paradigma logico (diciamo PROLOG) e del metodo di risoluzione, ma di piu' non serve.