Research on "Formal Methods in Computing"

Useless-code detection and elimination for PCF with algebraic Datatypes

ABSTRACT. We present a non-standard type assignment system and simplifications mappings for detecting and removing "useless-code" in simply typed functional programs with algebraic datatypes and recursive functions. We characterize two classes of useless-code: the "dead-code", that is code that is never executed under the lazy-call-by-name evaluation, and the "minimum-information-code", that is code that contributes to the computation only with a minimum amount of constant information.

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

BIBTEX.

@conference{Damiani:TLCA-99,
   author    = {F. Damiani},
   title     = {{Useless-code detection and elimination for PCF 
                 with algebraic Datatypes}},
   booktitle = {{TLCA'99}},
   year      = {1999},
   publisher = {Springer},
   pages     = {83-97},
   series    = {LNCS 1581}
}