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.
EnglishIn this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness results for both the strictness and the totality-type entailment relations. We also study the interactions between strictness and totality analyses, showing that the information obtainable by a system that combines the two analyses, even though more refined than the information given by the two separate systems, cannot be effectively used. A main feature of our approach is that all the results are proved by relying directly on the operational semantics of the programming language considered. This leads to a rather direct presentation which involves relatively little mathematical overhead.
| Titolo: | Strictness, totality, and non-standard type inference |
| Autori Riconosciuti: | |
| Autori: | COPPO M; DAMIANI F; GIANNINI P |
| Data di pubblicazione: | 2002 |
| Abstract: | In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness results for both the strictness and the totality-type entailment relations. We also study the interactions between strictness and totality analyses, showing that the information obtainable by a system that combines the two analyses, even though more refined than the information given by the two separate systems, cannot be effectively used. A main feature of our approach is that all the results are proved by relying directly on the operational semantics of the programming language considered. This leads to a rather direct presentation which involves relatively little mathematical overhead. |
| Volume: | 272 (1-2) |
| Pagina iniziale: | 69 |
| Pagina finale: | 112 |
| Digital Object Identifier (DOI): | 10.1016/S0304-3975(00)00348-0 |
| URL: | http://www.sciencedirect.com/science/article/pii/S0304397500003480 |
| Parole Chiave: | Program analysis; Strictness; Totality; Non-standard-type inference; Intersection types |
| Rivista: | THEORETICAL COMPUTER SCIENCE |
| Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| TCS-2002.pdf | Articolo principale (rivista) | 2 PDF Editoriale | Utenti riconosciuti Richiedi una copia |
http://hdl.handle.net/2318/124737
Copyright © 2019