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.
Useless-Code Detection and Elimination for PCF with Algebraic Data Types
DAMIANI, Ferruccio
1999-01-01
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LNCS-tlca-1999.pdf
Accesso riservato
Descrizione: Articolo proncipale
Tipo di file:
PDF EDITORIALE
Dimensione
449.65 kB
Formato
Adobe PDF
|
449.65 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
