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.
Titolo: | A conjunctive type system for useless-code elimination | |
Autori Riconosciuti: | ||
Autori: | F. DAMIANI | |
Data di pubblicazione: | 2003 | |
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. | |
Volume: | 13 | |
Pagina iniziale: | 157 | |
Pagina finale: | 197 | |
Digital Object Identifier (DOI): | 10.1017/S0960129502003869 | |
URL: | http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=143407 | |
Parole Chiave: | Functional languages; Program analysis; Program transformation; Non-standard type inference | |
Rivista: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | |
Appare nelle tipologie: | 03A-Articolo su Rivista |
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.