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.Mentre il precedente U-Gov Catalogo era un database chiuso, 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 A.; FILE' G.. - 26(1)(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.
http://hdl.handle.net/10278/11482| Titolo: | Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis |
| Autori interni: | CORTESI, Agostino |
| 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 © 2017