Gilberto Filé

Gilberto Filé, Roberto Vigo: Expressive Power of Definite Clauses for Verifying Authenticity. CSF 2009: 251-265

Hanne Riis Nielson, Gilberto Filé (Eds.): Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Lecture Notes in Computer Science 4634, Springer 2007, isbn 978-3-540-74060-5

Livio Colussi, Gilberto Filé, A. Griggio: Precise Analysis of p-Calculus in Cubic Time. IFIP TCS 2004: 317-332

Agostino Cortesi, Gilberto Filé: Static Analysis. Sci. Comput. Program. 47(2-3): 89-90 (2003)

Agostino Cortesi, Gilberto Filé: Sharing is Optimal. J. Log. Program. 38(3): 371-386 (1999)

Gilberto Filé, Francesco Ranzato: The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222(1-2): 77-111 (1999)

Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti: A Simple and General Method for Integrating Abstract Interpretation in SICStus. PPDP 1999: 207-223

Agostino Cortesi, Gilberto Filé (Eds.): Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings. Lecture Notes in Computer Science 1694, Springer 1999, isbn 3-540-66459-9

Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202(1-2): 163-192 (1998)

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)

Dante Baldan, Gilberto Filé: Abstract Interpretation from Improving WAM Code. SAS 1997: 364

Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori: Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422

Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato: A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996)

Agostino Cortesi, Gilberto Filé, William H. Winsborough: Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27(2): 137-167 (1996)

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)

Gilberto Filé, Francesco Ranzato: Complementation of Abstract Domains made Easy. JICSLP 1996: 348-362

Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: Semmantic Properties of CHIP (FD). Constraint Processing, Selected Papers 1995: 225-245

Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. SAS 1995: 100-117

Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) 1994: 357-371

Agostino Cortesi, Gilberto Filé, William H. Winsborough: The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) 1994: 372-387

Gilberto Filé, Francesco Ranzato: Improving Abstract Interpretations by Systematic Lifting to the Powerset. SLP 1994: 655-669

Agostino Cortesi, Gilberto Filé: Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107(2): 277-303 (1993)

Agostino Cortesi, Gilberto Filé: Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266

Gilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. GULP 1993: 325-340

Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: An Operational Semantics for CHIP. GULP 1993: 633-648

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: Freeness Analysis for Logic Programs - And Correctness? ICLP 1993: 116-131

Gilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. LPAR 1993: 134-145

Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, isbn 3-540-57264-3

Agostino Cortesi, Gilberto Filé, William H. Winsborough: Comparison of Abstract Interpretations. ICALP 1992: 521-532

Philippe Codognet, Gilberto Filé: Computations, abstractions and constraints in logic programs. ICCL 1992: 155-164

Agostino Cortesi, Gilberto Filé, William H. Winsborough: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis. LICS 1991: 322-327

Agostino Cortesi, Gilberto Filé: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM 1991: 52-61

Gilberto Filé, P. Sottero: Abstract Interpretation for Type Checking. PLILP 1991: 311-322

Philippe Codognet, Gilberto Filé: Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA 1991: 70-71

Gilberto Filé: The Relation of Two Patterns With Comparable Languages Patterns. ITA 23(1): 45-57 (1989)

Joost Engelfriet, Gilberto Filé: Passes, sweeps, and visits in attribute grammars. J. ACM 36(4): 841-869 (1989)

Stefano Baratella, Gilberto Filé: A completeness result for SLDNF resoultion. Bulletin of the EATCS 35: 97-105 (1988)

Christian Codognet, Philippe Codognet, Gilberto Filé: Yet Another Intelligent Backtracking Method. ICLP/SLP 1988: 447-465

Christian Codognet, Philippe Codognet, Gilberto Filé: Yet another intelligent Backtracking method. SPLT 1988: 317-336

Gilberto Filé: The Relation of Two Patterns with Comparable Languages. STACS 1988: 184-192

Gilberto Filé: Classical and Incremental Attribute Evaluation by Means of Recursive Procedures. Theor. Comput. Sci. 53: 25-65 (1987)

Gilberto Filé: Machines for Attribute Grammars. Information and Control 69(1-3): 41-124 (1986)

Gilberto Filé: Classical and Incremental Evaluators for Attribute Grammars. CAAP 1986: 112-126

Christian Codognet, Philippe Codognet, Gilberto Filé: A Very Intelligent Backtracking Method for Logic Programs. ESOP 1986: 315-326

Christian Codognet, Philippe Codognet, Gilberto Filé: Backtracking intelligent en programmation logique. SPLT 1986: 25-50

Gilberto Filé: Tree Automata and Logic Programs. STACS 1985: 119-130

Gilberto Filé: Interpretation and Reduction of Attribute Grammars. Acta Inf. 19: 115-150 (1983)

Joost Engelfriet, Gilberto Filé: Simple Multi-Visit Attribute Grammars. J. Comput. Syst. Sci. 24(3): 283-314 (1982)

Joost Engelfriet, Gilberto Filé: The Formal Power of One-Visit Attribute Grammars. Acta Inf. 16: 275-302 (1981)

Joost Engelfriet, Gilberto Filé: Passes and Paths of Attributive Grammars. Information and Control 49(2): 125-169 (1981)

Joost Engelfriet, Gilberto Filé: Passes, Sweeps and Visits. ICALP 1981: 193-207

Joost Engelfriet, Gilberto Filé: Formal Properties of One-Visit and Multi-Pass Attribute Grammars. ICALP 1980: 182-194