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