We present a simple framework for "non-standard type inference based" analyses of functional programs and show how to apply it to dead-code and strictness analyses. A key feature of this framework is that is based directly on operational semantics.
Inference based analysis of functional programs: dead-code and strictness
COPPO, Mario;DAMIANI, Ferruccio;GIANNINI, Paola
1998-01-01
Abstract
We present a simple framework for "non-standard type inference based" analyses of functional programs and show how to apply it to dead-code and strictness analyses. A key feature of this framework is that is based directly on operational semantics.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ToTaP-Mathematical-Society-of-Japan-1998.pdf
Accesso aperto
Descrizione: Articolo
Tipo di file:
PDF EDITORIALE
Dimensione
3.33 MB
Formato
Adobe PDF
|
3.33 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
