- SOME PROPERTIES OF COMPLETE CONGRUENCE LATTICES
- Adjoining Declassification and Attack Models by Abstract Interpretation
- Hiding Software Watermarks in Loop Structures Mila Dalla Preda, Roberto Giacobazzi, and Enrico Visentini
- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
- Opaque Predicates Detection by Abstract Interpretation
- States vs. Traces in Model Checking by Abstract Interpretation
- Making Abstract Interpretations Complete Roberto Giacobazzi
- Detecting Determinate Computations by Bottomup Abstract Interpretation \Lambda
- Abstract Filters: Improving Bottomup Execution of Logic Programs by Twophase Abstract Interpretation
- Modular Logic Programs over Finite Domains Maurizio Gabbrielli
- Complementation in Abstract Interpretation AGOSTINO CORTESI
- Transforming Semantics by Abstract Interpretation Roberto Giacobazzi Isabella Mastroeni
- Complementation in Abstract Interpretation AGOSTINO CORTESI
- Compositional Optimization of Disjunctive Abstract Interpretations
- Complete Abstract Interpretations made Constructive Roberto Giacobazzi ? Francesco Ranzato ?? Francesca Scozzari ?
- OPAQUE PREDICATES DETECTION BY ABSTRACT INTERPRETATION
- Abductive Analysis of Modular Logic Programs
- A Unifying View on Abstract Domain Design Gilberto Fil'e \Lambda Roberto Giacobazzi \Lambda\Lambda Francesco Ranzato \Lambda
- Abductive Analysis of Modular Logic ROBERTO GIACOBAZZI, Dipartimento di Informatica, Universit`a
- Uniform Closures: OrderTheoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements
- A Logical Model for Relational Abstract Domains ROBERTO GIACOBAZZI and FRANCESCA SCOZZARI
- Modelling Prolog Control \Lambda Roberto Barbuti, Michael Codish,
- A General Framework for Semanticsbased Bottomup Abstract Interpretation of Logic Programs \Lambda
- Intuitionistic Implication in Abstract Interpretation
- Joining Abstract and Concrete Computations in
- Modelling Prolog Control \Lambda Roberto Barbuti, Michael Codish,
- Incompleteness, Counterexamples and Re nements in Abstract Model-Checking
- Complementing Logic Program Semantics Roberto Giacobazzi ? Francesco Ranzato ??
- Semantic-based Code Obfuscation by Abstract Interpretation
- J. LOGIC PROGRAMMING 1995:25, 3:191--248 GENERALIZED SEMANTICS AND ABSTRACT
- Complementation in Abstract Interpretation AGOSTINO CORTESI
- Transforming Abstract Interpretations by Abstract Interpretation
- Optimal Domains for Disjunctive Abstract Interpretation
- Ecole Polytechnique LIX Weak Relative
- The Unfolding Semantics for Constraint Logic Roberto Giacobazzi
- Adjoining classified and unclassified information by Abstract Interpretation
- The Reduced Relative Power Operation on Abstract Domains Roberto Giacobazzi a Francesco Ranzato b
- ``Optimal'' Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
- Oracle Semantics for Prolog ? Roberto Barbuti 1 , Michael Codish 2 ,
- Control Code Obfuscation by Abstract Interpretation
- A characterization of symmetric semantics by domain complementation
- Compositional Analysis of Modular Logic Programs Michael Codish \Lambda Saumya K. Debray z Roberto Giacobazzi x
- ON THE LEAST COMPLETE EXTENSION OF A COMPLETE SUBSEMILATTICE
- Compositionality in the puzzle of semantics Roberto Giacobazzi
- Completeness in Abstract Interpretation: A Domain Perspective
- Refining and Compressing Abstract Domains Roberto Giacobazzi ? Francesco Ranzato ??
- Complementation in Abstract Interpretation AGOSTINO CORTESI
- Domain Theory in Abstract Interpretation Roberto Giacobazzi
- Algebra Universalis, 36 (1996) 405412 00025240/96/03040508$01.50 + 0.20/0 fl1996 Birkhauser Verlag, Basel
- Making Abstract Domains Condensing ROBERTO GIACOBAZZI
- Abstracting Synchronization in Concurrent Constraint Programming ?
- Completeness in Abstract Interpretation: A Domain Perspective
- States vs. Traces in Model Checking by Abstract Interpretation
- Joining Abstract and Concrete Computations in
- Building Complete Abstract Interpretations in a Linear Logic-based Setting
- Intuitionistic Implication in Abstract Interpretation
- A Unifying View on Abstract Domain Design Gilberto Fil'e* Roberto Giacobazzi** Francesco Ranzato*
- Algebra Universalis, 36 (1996) 405-412 0002-5240/96/030405-08$01.50 +* Oc1996 Birkh"auser Verlag, *
- ON THE LEAST COMPLETE EXTENSION OF A COMPLETE SUBSEMILATTICE
- "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
- Complementing Logic Program Semantics Roberto Giacobazzi? Francesco Ranzato??
- Abductive Analysis of Modular Logic Programs
- Compositional Optimization of Disjunctive Abstract Interpretations
- Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements
- The Unfolding Semantics for Constraint Logic Programs
- Incompleteness, Counterexamples and Refinements in Abstract Model-Checking
- Functional Dependencies and Moore-Set Completions of
- Abstract Interpretation Patrick Cousot
- Building Complete Abstract Interpretations in a Linear Logicbased Setting
- Hiding Information in Completeness Holes New perspectives in code obfuscation and watermarking
- A Generalized Semantics for Constraint Logic Programs \Lambda Roberto Giacobazzi 1 , Saumya K. Debray 2 , Giorgio Levi 1
- Functional Dependencies and MooreSet Completions of
- Complementation in Abstract Interpretation Agostino Cortesi ? Gilberto Fil'e ?? Roberto Giacobazzi ???
- Timed Abstract Non-interference Roberto Giacobazzi1
- Compositionality in the puzzle of semantics Roberto Giacobazzi Isabella Mastroeni
- Oracle Semantics for Prolog ? Roberto Barbuti1, Michael Codish2,
- Compositional Analysis of Modular Logic Programs Michael Codish* Saumya K. Debrayz Roberto Giacobazzix
- An Application of Constraint Propagation to Data-Flow Analysis Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
- Refining and Compressing Abstract Domains Roberto Giacobazzi? Francesco Ranzato??
- Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation
- Modular Logic Programs over Finite Domains Maurizio Gabbrielli Roberto Giacobazzi Danilo Montesi
- Modelling Prolog Control * Roberto Barbuti, Michael Codish,
- Making Abstract Domains Condensing ROBERTO GIACOBAZZI
- States vs. Traces in Model Checking by Abstract Interpretation
- February 4, 2010 14:16 International Journal of Computer Mathematics MastroeniGiacobazzi-International Journal of Computer Mathematics
- Goal independency and call patterns in the analysis of logic programs Maurizio Gabbrielli
- Oracle Semantics for Prolog Roberto Barbuti
- An Application of Constraint Propagation to DataFlow Analysis Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
- Detecting Determinate Computations by Bottom-up Abstract Interpretation
- A Logical Model for Relational Abstract Domains ROBERTO GIACOBAZZI and FRANCESCA SCOZZARI
- Complementation in Abstract Interpretation Agostino Cortesi? Gilberto Fil'e?? Roberto Giacobazzi???
- Semantic Aspects of Logic Program Analysis Roberto Giacobazzi
- Oracle Semantics for Prolog Roberto Barbuti
- Modelling Prolog Control * Roberto Barbuti, Michael Codish,
- A characterization of symmetric semantics by domain complementation
- Goal independency and call patterns in the analysis of logic programs Maurizio Gabbrielli Roberto Giacobazzi *
- A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs *
- The Reduced Relative Power Operation on Abstract Domains Roberto Giacobazzi a Francesco Ranzato b
- Complete Abstract Interpretations made Constructive Roberto Giacobazzi? Francesco Ranzato?? Francesca Scozzari?
- A Generalized Semantics for Constraint Logic Programs * Roberto Giacobazzi1, Saumya K. Debray2, Giorgio Levi1
- SOME PROPERTIES OF COMPLETE CONGRUENCE LATTICES
- Abductive Analysis of Modular Logic ROBERTO GIACOBAZZI, Dipartimento di Informatica, Universit`a
- A Bottom-up Polymorphic Type Inference in Logic Programming Roberto Barbuti , Roberto Giacobazzi
- J. LOGIC PROGRAMMING 1995:25, 3:19* GENERALIZED SEMANTICS AND ABSTRACT
- Abstract Non-Interference Parameterizing Non-Interference by Abstract Interpretation
- Abstracting Synchronization in Concurrent Constraint Programming ?
- Optimal Domains for Disjunctive Abstract Interpretation
- Complementation in Abstract Interpretation AGOSTINO CORTESI
