CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishWe 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.
Copyright © 2022