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

Gilberto Filé Vis

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

*2007
51 Hanne Riis Nielson, Gilberto Filé: Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings Springer 2007
2004
50 Livio Colussi, Gilberto Filé, A. Griggio: Precise Analysis of p-Calculus in Cubic Time. IFIP TCS 2004: 317-332
2003
49EEAgostino Cortesi, Gilberto Filé: Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003)
1999
48 Agostino Cortesi, Gilberto Filé: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings Springer 1999
47 Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti: A Simple and General Method for Integrating Abstract Interpretation in SICStus. PPDP 1999: 207-223
46 Agostino Cortesi, Gilberto Filé: Sharing is Optimal. J. Log. Program. 38(3): 371-386 (1999)
45EEGilberto Filé, Francesco Ranzato: The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222(1-2): 77-111 (1999)
1998
44EEAgostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998)
1997
43 Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori: Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422
42 Dante Baldan, Gilberto Filé: Abstract Interpretation from Improving WAM Code. SAS 1997: 364
41EEAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)
1996
40 Gilberto Filé, Francesco Ranzato: Complementation of Abstract Domains made Easy. JICSLP 1996: 348-362
39 Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato: A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996)
38 Agostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996)
37 Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: On the Design of a Correct Freeness Analysis for Logic Programs. J. Log. Program. 28(3): 181-206 (1996)
1995
36 Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: Semmantic Properties of CHIP (FD). Constraint Processing, Selected Papers 1995: 225-245
35 Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation SAS 1995: 100-117
1994
34 Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) 1994: 357-371
33 Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387
32 Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. SLP 1994: 655-669
1993
31 Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy: Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings Springer 1993
30 Agostino Cortesi, Gilberto Filé: Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266
29 Gilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. GULP 1993: 325-340
28 Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: An Operational Semantics for CHIP. GULP 1993: 633-648
27 Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: Freeness Analysis for Logic Programs - And Correctness? ICLP 1993: 116-131
26EEGilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. LPAR 1993: 134-145
25 Agostino Cortesi, Gilberto Filé: Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993)
1992
24EEAgostino Cortesi, Gilberto Filé, William H. Winsborough: Comparison of Abstract Interpretations. ICALP 1992: 521-532
23EEPhilippe Codognet, Gilberto Filé: Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164
1991
22 Philippe Codognet, Gilberto Filé: Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71
21 Agostino Cortesi, Gilberto Filé, William H. Winsborough: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis LICS 1991: 322-327
20 Agostino Cortesi, Gilberto Filé: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61
19EEGilberto Filé, P. Sottero: Abstract Interpretation for Type Checking. PLILP 1991: 311-322
1989
18 Gilberto Filé: The Relation of Two Patterns With Comparable Languages Patterns. ITA 23(1): 45-57 (1989)
17EEJoost Engelfriet, Gilberto Filé: Passes, sweeps, and visits in attribute grammars. J. ACM 36(4): 841-869 (1989)
1988
16 Christian Codognet, Philippe Codognet, Gilberto Filé: Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465
15 Christian Codognet, Philippe Codognet, Gilberto Filé: Yet another intelligent Backtracking method. SPLT 1988: 317-336
14EEGilberto Filé: The Relation of Two Patterns with Comparable Languages. STACS 1988: 184-192
13 Stefano Baratella, Gilberto Filé: A completeness result for SLDNF resoultion. Bulletin of the EATCS 35: 97-105 (1988)
1987
12 Gilberto Filé: Classical and Incremental Attribute Evaluation by Means of Recursive Procedures. Theor. Comput. Sci. 53: 25-65 (1987)
1986
11EEGilberto Filé: Classical and Incremental Evaluators for Attribute Grammars. CAAP 1986: 112-126
10EEChristian Codognet, Philippe Codognet, Gilberto Filé: A Very Intelligent Backtracking Method for Logic Programs. ESOP 1986: 315-326
9 Christian Codognet, Philippe Codognet, Gilberto Filé: Backtracking intelligent en programmation logique. SPLT 1986: 25-50
8 Gilberto Filé: Machines for Attribute Grammars Information and Control 69(1-3): 41-124 (1986)
1985
7EEGilberto Filé: Tree Automata and Logic Programs. STACS 1985: 119-130
1983
6 Gilberto Filé: Interpretation and Reduction of Attribute Grammars. Acta Inf. 19: 115-150 (1983)
1982
5 Joost Engelfriet, Gilberto Filé: Simple Multi-Visit Attribute Grammars. J. Comput. Syst. Sci. 24(3): 283-314 (1982)
1981
4EEJoost Engelfriet, Gilberto Filé: Passes, Sweeps and Visits. ICALP 1981: 193-207
3 Joost Engelfriet, Gilberto Filé: The Formal Power of One-Visit Attribute Grammars. Acta Inf. 16: 275-302 (1981)
2 Joost Engelfriet, Gilberto Filé: Passes and Paths of Attributive Grammars Information and Control 49(2): 125-169 (1981)
1980
1EEJoost Engelfriet, Gilberto Filé: Formal Properties of One-Visit and Multi-Pass Attribute Grammars. ICALP 1980: 182-194

Coauthor Index

1Dante Baldan [42] [47]
2Stefano Baratella [13]
3Annalisa Bossi [43]
4Maurice Bruynooghe [27] [37]
5Nicola Civran [47]
6Michael Codish [27] [37]
7Christian Codognet [9] [10] [15] [16]
8Philippe Codognet [9] [10] [15] [16] [22] [23]
9Livio Colussi [50]
10Agostino Cortesi [20] [21] [24] [25] [30] [33] [35] [38] [41] [44] [46] [48] [49]
11Patrick Cousot [31]
12Dennis Dams [27] [37] [43]
13Joost Engelfriet [1] [2] [3] [4] [5] [17]
14Moreno Falaschi [31]
15Roberto Giacobazzi [35] [39] [41]
16A. Griggio [50]
17Elena Marchiori [43]
18Giuseppe Nardiello [28] [36]
19Hanne Riis Nielson [51]
20Catuscia Palamidessi [35] [41]
21Francesco Pulvirenti [47]
22Francesco Ranzato [32] [34] [35] [39] [40] [41] [45]
23Antoine Rauzy [31]
24Sabina Rossi [26] [29]
25P. Sottero [19]
26Adriano Tirabosco [28] [36]
27William H. Winsborough [21] [24] [33] [38] [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)