Research on "Formal Methods in Computing"

Individuazione e rimozione automatica del codice inutile da programmi funzionali

ABSTRACT. The main contribution of the thesis is the delevelopment of an implementation of the Useless-Code Elimination (UCE) for simply typed functional programs described in the paper [ Damiani and Giannini, 2000 ]. Moreover, the thesis proposes a straightforward-to-implement and efficient (although not completely satisfactory) extension of the technique to deal with let-polimorphically typed functional programs.

An on-line demostration of the prototype developed as part of the thesis is available.

• Summary (IN ITALIAN): .ps , .ps.gz

BIBTEX.

@masterthesis{Esposito:MT-99,
   author    = {R. Esposito},
   title     = {Individuazione e rimozione automatica del codice inutile
                da programmi funzionali},
   year      = {1999},
   month     = {December},
   address   = {C.so Svizzera 185 - I 10149 Torino - Italy},
   school    = {Dipartimento di Informatica, Universit\`a di Torino}
}