Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction

Cortesi, Agostino; Le Charlier, B.; Van Hentenryck, P.

doi:10.1016/S0167-6423(99)00045-3

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.

Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction / CORTESI A.; B. LE CHARLIER; P. VAN HENTENRYCK. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 38(2000), pp. 27-71.

Autori:	CORTESI, Agostino B. LE CHARLIER P. VAN HENTENRYCK mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2000
Titolo:	Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction
Rivista:	SCIENCE OF COMPUTER PROGRAMMING
Digital Object Identifier (DOI):	http://dx.doi.org/10.1016/S0167-6423(99)00045-3
Volume:	38
Appare nelle tipologie:	2.1 Articolo su rivista

File in questo prodotto:

File	Descrizione	Tipologia	Licenza
SCP_38.pdf		Documento in Post-print	Accesso chiuso-personale	Riservato

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/10278/12124

Citazioni

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.