A mathematical programming model for computing fixed points in static program analysis / Marinelli, Fabrizio. - STAMPA. - (2007), pp. 13-13. (Intervento presentato al convegno CAL2007, Colloque d’Automne du LIX tenutosi a Paris, France nel 3-4/10/2007).
A mathematical programming model for computing fixed points in static program analysis
MARINELLI, Fabrizio
2007-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.