| 2008 |
|---|
| 34 | EE | Fausto Spoto:
Special track on Software Verification: editorial message.
SAC 2008: 326 |
| 33 | EE | Fausto Spoto:
Nullness Analysis in Boolean Form.
SEFM 2008: 21-30 |
| 2007 |
|---|
| 32 | EE | Étienne Payet,
Fausto Spoto:
Magic-Sets Transformation for the Analysis of Java Bytecode.
SAS 2007: 452-467 |
| 31 | EE | Marieke Huisman,
Fausto Spoto:
Preface.
Electr. Notes Theor. Comput. Sci. 190(1): 1 (2007) |
| 30 | EE | Fausto Spoto:
Optimality and condensing of information flow through linear refinement.
Theor. Comput. Sci. 388(1-3): 53-82 (2007) |
| 2006 |
|---|
| 29 | EE | Stefano Rossignoli,
Fausto Spoto:
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.
VMCAI 2006: 95-110 |
| 28 | EE | Patricia M. Hill,
Fausto Spoto:
Deriving Escape Analysis by Abstract Interpretation: Proofs of results
CoRR abs/cs/0607101: (2006) |
| 27 | EE | Patricia M. Hill,
Fausto Spoto:
Deriving escape analysis by abstract interpretation.
Higher-Order and Symbolic Computation 19(4): 415-463 (2006) |
| 2005 |
|---|
| 26 | EE | Fausto Spoto:
Information Flow Is Linear Refinement of Constancy.
ICTAC 2005: 351-365 |
| 25 | EE | Stefano Secci,
Fausto Spoto:
Pair-Sharing Analysis of Object-Oriented Programs.
SAS 2005: 320-335 |
| 24 | EE | Samir Genaim,
Fausto Spoto:
Information Flow Analysis for Java Bytecode.
VMCAI 2005: 346-362 |
| 23 | EE | Fausto Spoto:
Preface.
Electr. Notes Theor. Comput. Sci. 141(1): 1 (2005) |
| 2003 |
|---|
| 22 | | S. Bozzoli,
Fausto Spoto,
Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis.
APPIA-GULP-PRODE 2003: 123-134 |
| 21 | EE | Patricia M. Hill,
Fausto Spoto:
Logic Programs as Compact Denotations.
PADL 2003: 339-356 |
| 20 | EE | Fausto Spoto,
Thomas P. Jensen:
Class analyses as abstract interpretations of trace semantics.
ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003) |
| 19 | EE | Patricia M. Hill,
Fausto Spoto:
Logic programs as compact denotations.
Computer Languages, Systems & Structures 29(3): 45-73 (2003) |
| 18 | EE | Giorgio Levi,
Fausto Spoto:
Pair-independence and freeness analysis through linear refinement.
Inf. Comput. 182(1): 14-52 (2003) |
| 2002 |
|---|
| 17 | EE | Patricia M. Hill,
Fausto Spoto:
A Foundation of Escape Analysis.
AMAST 2002: 380-395 |
| 16 | EE | Patricia M. Hill,
Fausto Spoto:
A Refinement of the Escape Property.
VMCAI 2002: 154-166 |
| 15 | EE | Patricia M. Hill,
Fausto Spoto:
Generalizing Def and Pos to Type Analysis.
J. Log. Comput. 12(3): 497-542 (2002) |
| 2001 |
|---|
| 14 | EE | Gianluca Amato,
Fausto Spoto:
Abstract Compilation for Sharing Analysis.
FLOPS 2001: 311-325 |
| 13 | EE | Thomas P. Jensen,
Fausto Spoto:
Class Analysis of Object-Oriented Programs through Abstract Interpretation.
FoSSaCS 2001: 261-275 |
| 12 | EE | Fausto Spoto:
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses.
SAS 2001: 127-145 |
| 2000 |
|---|
| 11 | EE | Patricia M. Hill,
Fausto Spoto:
Analysis of Downward Closed Properties of Logic Programs.
AMAST 2000: 181-196 |
| 10 | EE | Giorgio Levi,
Fausto Spoto:
Non Pair-Sharing and Freeness Analysis Through Linear Refinement.
PEPM 2000: 52-61 |
| 9 | | Fausto Spoto:
Operational and Goal-Independent Denotational Semantics for Prolog with Cut.
J. Log. Program. 42(1): 1-46 (2000) |
| 1999 |
|---|
| 8 | | Patricia M. Hill,
Fausto Spoto:
Freeness Analysis through Linear Refinement.
APPIA-GULP-PRODE 1999: 321-337 |
| 7 | EE | Patricia M. Hill,
Fausto Spoto:
Freeness Analysis Through Linear Refinement.
SAS 1999: 85-100 |
| 1998 |
|---|
| 6 | EE | Fausto Spoto,
Giorgio Levi:
Abstract Interpretation of Prolog Programs.
AMAST 1998: 455-470 |
| 5 | | Fausto Spoto,
Giorgio Levi:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
APPIA-GULP-PRODE 1998: 269-282 |
| 4 | | Roberta Gori,
E. Lastres,
R. Moreno,
Fausto Spoto:
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.
APPIA-GULP-PRODE 1998: 433-442 |
| 3 | EE | Giorgio Levi,
Fausto Spoto:
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs.
PLILP/ALP 1998: 152-169 |
| 1997 |
|---|
| 2 | | Fausto Spoto,
Giorgio Levi:
A Denotational Semantics for Prolog.
APPIA-GULP-PRODE 1997: 201-212 |
| 1996 |
|---|
| 1 | | Giorgio Levi,
Fausto Spoto:
Accurate Analysis of Prolog with cut.
APPIA-GULP-PRODE 1996: 481-492 |
