 | 2009 |
|---|
| 20 |       | Gianluca Amato,
Francesca Scozzari:
Observational Completeness on Abstract Interpretation.
WoLLIC 2009: 99-112 |
| 2007 |
|---|
| 19 | | Gianluca Amato,
Francesca Scozzari:
On the interaction between sharing and linearity
CoRR abs/0710.0528: (2007) |
| 2006 |
|---|
| 18 | | Gianluca Amato,
Massimo Coppola,
Stefania Gnesi,
Francesca Scozzari,
Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
Electr. Notes Theor. Comput. Sci. 157(2): 167-185 (2006) |
| 2005 |
|---|
| 17 |  | Gianluca Amato,
Massimo Coppola,
Stefania Gnesi,
Francesca Scozzari,
Laura Semini:
Modeling Web Applications by the Multiple Levels of Integrity Policy.
WWV 2005: 161-175 |
| 16 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making abstract domains condensing.
ACM Trans. Comput. Log. 6(1): 33-60 (2005) |
| 15 | | Gianluca Amato,
Francesca Scozzari:
Optimality in Goal-Dependent Analysis of Sharing
CoRR abs/cs/0503055: (2005) |
| 2002 |
|---|
| 14 | | Gianluca Amato,
Francesca Scozzari:
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.
LOPSTR 2002: 52-70 |
| 13 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making Abstract Domains Condensing
CoRR cs.PL/0204016: (2002) |
| 12 | | Francesca Scozzari:
Logical optimality of groundness analysis.
Theor. Comput. Sci. 277(1-2): 149-184 (2002) |
| 2000 |
|---|
| 11 | | Francesca Scozzari:
Abstract Domains for Sharing Analysis by Optimal Semantics.
SAS 2000: 397-412 |
| 10 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Making abstract interpretations complete.
J. ACM 47(2): 361-416 (2000) |
| 1998 |
|---|
| 9 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
APPIA-GULP-PRODE 1998: 241-254 |
| 8 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Complete Abstract Interpretations Made Constructive.
MFCS 1998: 366-377 |
| 7 | | Roberto Giacobazzi,
Francesco Ranzato,
Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
SAS 1998: 215-229 |
| 6 | | Roberto Giacobazzi,
Francesca Scozzari:
A Logical Model for Relational Abstract Domains.
ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998) |
| 1997 |
|---|
| 5 | | Roberto Giacobazzi,
Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation.
APPIA-GULP-PRODE 1997: 33-44 |
| 4 | | Roberto Giacobazzi,
Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation.
PLILP 1997: 175-189 |
| 3 | | Francesca Scozzari:
Logical Optimality of Groundness Analysis.
SAS 1997: 83-97 |
| 1996 |
|---|
| 2 | | Roberto Bagnara,
Marco Comini,
Francesca Scozzari,
Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints.
APPIA-GULP-PRODE 1996: 355-366 |
| 1995 |
|---|
| 1 | | Giorgio Levi,
Francesca Scozzari:
Contributions to a Theory of Existential Termination for Definite Logic Programs.
GULP-PRODE 1995: 631-642 |
