Research on "Formal Methods in Computing"

Type-based useless-code elimination for functional programs

ABSTRACT. In this paper we present a survey of the work on type-based useless-code elimination for higher-order functional programs. After some historical remarks on the motivations and early approaches we give an informal but complete account of the techniques and results developed at the Computer Science Department of the University of Torino. In particular, we focus on the fact that, for each of the type-based techniques developed, there is an optimal program simplification.

• ps , ps.gz ( © Springer-Verlag )

BIBTEX.

@conference{Berardi-Coppo-Damiani-Giannini:SAIG-00,
   author    = {S. Berardi and M. Coppo and F. Damiani and P. Giannini},
   title     = {Type-Based Useless-Code Elimination for Functional Programs},
   booktitle = {{PLI Workshop - SAIG'00}},
   year      = {2000},
   series    = {LNCS 1924},
   pages     = {172--189},
   publisher = {Springer}
}