We investigate the use of conjunctive non-standard type inference for the elimination of useless-code in higher-order typed functional programs. In particular, we present a non-standard type assignment system for detecting useless-code and a mapping that simplifies a program by removing all the useless-code that can be detected by using the system.
A conjunctive type system for useless-code elimination
DAMIANI, Ferruccio
2003-01-01
Abstract
We investigate the use of conjunctive non-standard type inference for the elimination of useless-code in higher-order typed functional programs. In particular, we present a non-standard type assignment system for detecting useless-code and a mapping that simplifies a program by removing all the useless-code that can be detected by using the system.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
