Items where Author is "Ranzato, Francesco"
Group by: Item Type | No Grouping Jump to: Book Number of items: 4. BookGiacobazzi, Roberto and Ranzato, Francesco and Scozzari, Francesca (2001) Optimal Semantics and Domains in Logic Program Analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Giacobazzi, Roberto and Ranzato, Francesco (1997) Making abstract interpretations complete. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Giacobazzi, Roberto and Ranzato, Francesco (1997) Functional Compositions of Abstract Interpretations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Giacobazzi, Roberto and Ranzato, Francesco (1997) Lifting complete orders to achieve co-additivity of closure operators. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |