GIACOBAZZI, ROBERTO Statistiche

GIACOBAZZI, ROBERTO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 1-gen-1992 Barbuti, Roberto; Giacobazzi, Roberto
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 1-gen-1993 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Code obfuscation against abstraction refinement attacks 1-gen-2018 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Modeling Prolog Control 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control 1-gen-1991 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control 1-gen-1993 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
Oracle Semantics for Prolog 1-gen-1992 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Maher, M.
Oracle Semantics for Prolog 1-gen-1995 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Maher, M.
Sound up-to techniques and Complete abstract domains 1-gen-2018 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko