GIACOBAZZI, Roberto

GIACOBAZZI, Roberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 112 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics 1-gen-1996 Giacobazzi, Roberto
14th International symposium on Verification, Model Checking and Abstract Interpretation 1-gen-2013 Giacobazzi, Roberto; J., Berdine; Mastroeni, Isabella
A Bottom-Up Polymorphic Type Inference in Logic Programming 1-gen-1992 Roberto, Barbuti; Giacobazzi, Roberto
A characterization of symmetric semantics by domain complementation 1-gen-2000 Giacobazzi, Roberto; Mastroeni, Isabella
A Correctness and Incorrectness Program Logic 1-gen-2023 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
A deep learning approach to program similarity. 1-gen-2018 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware 1-gen-2007 Francesco, Banterle; Giacobazzi, Roberto
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 1-gen-1993 Roberto, Barbuti; Giacobazzi, Roberto; Giorgio, Levi
A Generalized Semantics for Constraint Logic Programs 1-gen-1992 Giacobazzi, Roberto; Saumya K., Debray; Giorgio, Levi
A Logic for Locally Complete Abstract Interpretations 1-gen-2021 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
A proof System for Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella
A proof system for Abstract Non-Interference 1-gen-2010 Giacobazzi, Roberto; Mastroeni, Isabella
A Unifying View of Abstract Domain Design 1-gen-1996 Gilberto, Filé; Giacobazzi, Roberto; Francesco, Ranzato
A weakening residuation in adjoining closures 1-gen-2015 Mastroeni, Isabella; Giacobazzi, Roberto
Abductive Analysis of Modular Logic Programs 1-gen-1994 Giacobazzi, Roberto
Abstract extensionality: on the properties of incomplete abstract interpretations 1-gen-2020 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Abstract Interpretation of Indexed Grammars. 1-gen-2019 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Abstract interpretation of resolution-based semantics 1-gen-2009 Patrick, Cousot; Radhia, Cousot; Giacobazzi, Roberto
Abstract Interpretation-Based Protection 1-gen-2010 Giacobazzi, Roberto
Abstract Non-Interference 1-gen-2008 Giacobazzi, Roberto; Mastroeni, Isabella