GIACOBAZZI, ROBERTO Statistiche
GIACOBAZZI, ROBERTO
DIPARTIMENTO DI INFORMATICA
A Correctness and Incorrectness Program Logic
2023-01-01 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Local Completeness in Abstract Interpretation
2023-01-01 Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F.
Code obfuscation against abstraction refinement attacks
2018-01-01 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Sound up-to techniques and Complete abstract domains
2018-01-01 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
Oracle Semantics for Prolog
1995-01-01 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Maher, M.
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
1993-01-01 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
Modelling Prolog Control
1993-01-01 Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING
1992-01-01 Barbuti, Roberto; Giacobazzi, Roberto
Modeling Prolog Control
1992-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
Oracle Semantics for Prolog
1992-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Maher, M.
Modelling Prolog Control
1991-01-01 Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Correctness and Incorrectness Program Logic | 1-gen-2023 | Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F | |
| Local Completeness in Abstract Interpretation | 1-gen-2023 | Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F. | |
| Code obfuscation against abstraction refinement attacks | 1-gen-2018 | Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta | |
| Sound up-to techniques and Complete abstract domains | 1-gen-2018 | Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko | |
| Oracle Semantics for Prolog | 1-gen-1995 | Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Maher, M. | |
| A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs | 1-gen-1993 | Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio | |
| Modelling Prolog Control | 1-gen-1993 | Barbuti, Roberto; Codish, M.; Giacobazzi, Roberto; Levi, Giorgio | |
| A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING | 1-gen-1992 | Barbuti, Roberto; Giacobazzi, Roberto | |
| Modeling Prolog Control | 1-gen-1992 | Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio | |
| Oracle Semantics for Prolog | 1-gen-1992 | Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Maher, M. | |
| Modelling Prolog Control | 1-gen-1991 | Barbuti, Roberto; Codish, M; Giacobazzi, Roberto; Levi, Giorgio |