ABSTRACT 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.
Autori: | ||
Data di pubblicazione: | 1991 | |
Titolo: | ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS | |
Titolo del libro: | Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91 | |
Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.