ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS / CORTESI, Agostino; FILE', G.. - 26:9(1991), pp. 52-61. ((Intervento presentato al convegno Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91 tenutosi a Yale University, New Haven, Connecticut, USA nel June 17-19, 1991.
| Titolo: | ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS |
| Autori: | |
| Data di pubblicazione: | 1991 |
| Handle: | http://hdl.handle.net/10278/11482 |
| ISBN: | 0897914333 |
| Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
Copyright © 2020