dblp.uni-trier.dewww.uni-trier.de

Fausto Spoto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
34EEFausto Spoto: Special track on Software Verification: editorial message. SAC 2008: 326
33EEFausto Spoto: Nullness Analysis in Boolean Form. SEFM 2008: 21-30
2007
32EEÉtienne Payet, Fausto Spoto: Magic-Sets Transformation for the Analysis of Java Bytecode. SAS 2007: 452-467
31EEMarieke Huisman, Fausto Spoto: Preface. Electr. Notes Theor. Comput. Sci. 190(1): 1 (2007)
30EEFausto Spoto: Optimality and condensing of information flow through linear refinement. Theor. Comput. Sci. 388(1-3): 53-82 (2007)
2006
29EEStefano Rossignoli, Fausto Spoto: Detecting Non-cyclicity by Abstract Compilation into Boolean Functions. VMCAI 2006: 95-110
28EEPatricia M. Hill, Fausto Spoto: Deriving Escape Analysis by Abstract Interpretation: Proofs of results CoRR abs/cs/0607101: (2006)
27EEPatricia M. Hill, Fausto Spoto: Deriving escape analysis by abstract interpretation. Higher-Order and Symbolic Computation 19(4): 415-463 (2006)
2005
26EEFausto Spoto: Information Flow Is Linear Refinement of Constancy. ICTAC 2005: 351-365
25EEStefano Secci, Fausto Spoto: Pair-Sharing Analysis of Object-Oriented Programs. SAS 2005: 320-335
24EESamir Genaim, Fausto Spoto: Information Flow Analysis for Java Bytecode. VMCAI 2005: 346-362
23EEFausto 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
21EEPatricia M. Hill, Fausto Spoto: Logic Programs as Compact Denotations. PADL 2003: 339-356
20EEFausto Spoto, Thomas P. Jensen: Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003)
19EEPatricia M. Hill, Fausto Spoto: Logic programs as compact denotations. Computer Languages, Systems & Structures 29(3): 45-73 (2003)
18EEGiorgio Levi, Fausto Spoto: Pair-independence and freeness analysis through linear refinement. Inf. Comput. 182(1): 14-52 (2003)
2002
17EEPatricia M. Hill, Fausto Spoto: A Foundation of Escape Analysis. AMAST 2002: 380-395
16EEPatricia M. Hill, Fausto Spoto: A Refinement of the Escape Property. VMCAI 2002: 154-166
15EEPatricia M. Hill, Fausto Spoto: Generalizing Def and Pos to Type Analysis. J. Log. Comput. 12(3): 497-542 (2002)
2001
14EEGianluca Amato, Fausto Spoto: Abstract Compilation for Sharing Analysis. FLOPS 2001: 311-325
13EEThomas P. Jensen, Fausto Spoto: Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS 2001: 261-275
12EEFausto Spoto: Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses. SAS 2001: 127-145
2000
11EEPatricia M. Hill, Fausto Spoto: Analysis of Downward Closed Properties of Logic Programs. AMAST 2000: 181-196
10EEGiorgio 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
7EEPatricia M. Hill, Fausto Spoto: Freeness Analysis Through Linear Refinement. SAS 1999: 85-100
1998
6EEFausto 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
3EEGiorgio 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

Coauthor Index

1Gianluca Amato [14]
2S. Bozzoli [22]
3Agostino Dovier [22]
4Samir Genaim [24]
5Roberta Gori [4]
6Patricia M. Hill [7] [8] [11] [15] [16] [17] [19] [21] [27] [28]
7Marieke Huisman [31]
8Thomas P. Jensen [13] [20]
9E. Lastres [4]
10Giorgio Levi [1] [2] [3] [5] [6] [10] [18]
11R. Moreno [4]
12Étienne Payet [32]
13Stefano Rossignoli [29]
14Stefano Secci [25]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)