Gilberto Filé

Publication Activity (10 Years)

Years Active: 1980-2009
Publications (10 Years): 0

Publications

Gilberto Filé, Roberto Vigo
Expressive Power of Definite Clauses for Verifying Authenticity. CSF (2009)
Livio Colussi, Gilberto Filé, A. Griggio
Precise Analysis of π-Calculus in Cubic Time. IFIP TCS (2004)
Agostino Cortesi, Gilberto Filé
Static Analysis. Sci. Comput. Program. 47 (2-3) (2003)
Agostino Cortesi, Gilberto Filé
Sharing is Optimal. J. Log. Program. 38 (3) (1999)
Gilberto Filé, Francesco Ranzato
The Powerset Operator on Abstract Interpretations. Theor. Comput. Sci. 222 (1-2) (1999)
Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti
A Simple and General Method for Integrating Abstract Interpretation in SICStus. PPDP (1999)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
The Quotient of an Abstract Interpretation. Theor. Comput. Sci. 202 (1-2) (1998)
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19 (1) (1997)
Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori
Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS (1997)
Dante Baldan, Gilberto Filé
Abstract Interpretation from Improving WAM Code. SAS (1997)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
Optimal Groundness Analysis Using Propositional Logic. J. Log. Program. 27 (2) (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) (1996)
Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28 (2) (1996)
Gilberto Filé, Francesco Ranzato
Complementation of Abstract Domains made Easy. JICSLP (1996)
Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
Semmantic Properties of CHIP (FD). Constraint Processing, Selected Papers (1995)
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
Complementation in Abstract Interpretation SAS (1995)
Gilberto Filé, Francesco Ranzato
Improving Abstract Interpretations by Systematic Lifting to the Powerset. ILPS (1994)
Gilberto Filé, Francesco Ranzato
Improving Abstract Interpretations by Systematic Lifting to the Powerset. GULP-PRODE (1) (1994)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
The Quotient of an Abstract Interpretation for Comparing Static Analyses. GULP-PRODE (1) (1994)
Agostino Cortesi, Gilberto Filé
Graph Properties for Normal Logic Programs. Theor. Comput. Sci. 107 (2) (1993)
Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
An Operational Semantics for CHIP. GULP (1993)
Gilberto Filé, Sabina Rossi
Static Analysis of Prolog with Cut. LPAR (1993)
Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe
Freeness Analysis for Logic Programs - And Correctness? ICLP (1993)
Agostino Cortesi, Gilberto Filé
Comparison and design of abstract domains for sharing analysis. GULP (1993)
Gilberto Filé, Sabina Rossi
Static Analysis of Prolog with Cut. GULP (1993)
Philippe Codognet, Gilberto Filé
Computations, abstractions and constraints in logic programs. ICCL (1992)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
Comparison of Abstract Interpretations. ICALP (1992)
Agostino Cortesi, Gilberto Filé, William H. Winsborough
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis LICS (1991)
Gilberto Filé, P. Sottero
Abstract Interpretation for Type Checking. PLILP (1991)
Philippe Codognet, Gilberto Filé
Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA (1991)
Agostino Cortesi, Gilberto Filé
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. PEPM (1991)
Gilberto Filé
The Relation of Two Patterns With Comparable Languages Patterns. RAIRO Theor. Informatics Appl. 23 (1) (1989)
Joost Engelfriet, Gilberto Filé
Passes, sweeps, and visits in attribute grammars. J. ACM 36 (4) (1989)
Gilberto Filé
The Relation of Two Patterns with Comparable Languages. STACS (1988)
Stefano Baratella, Gilberto Filé
A completeness result for SLDNF resoultion. Bull. EATCS 35 (1988)
Christian Codognet, Philippe Codognet, Gilberto Filé
Yet Another Intelligent Backtracking Method. ICLP/SLP (1988)
Christian Codognet, Philippe Codognet, Gilberto Filé
Yet another intelligent Backtracking method. SPLT (1988)
Gilberto Filé
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures. Theor. Comput. Sci. 53 (1987)
Gilberto Filé
Classical and Incremental Evaluators for Attribute Grammars. CAAP (1986)
Christian Codognet, Philippe Codognet, Gilberto Filé
Backtracking intelligent en programmation logique. SPLT (1986)
Christian Codognet, Philippe Codognet, Gilberto Filé
A Very Intelligent Backtracking Method for Logic Programs. ESOP (1986)
Gilberto Filé
Machines for Attribute Grammars Inf. Control. 69 (1-3) (1986)
Gilberto Filé
Tree Automata and Logic Programs. STACS (1985)
Gilberto Filé
Interpretation and Reduction of Attribute Grammars. Acta Informatica 19 (1983)
Joost Engelfriet, Gilberto Filé
Simple Multi-Visit Attribute Grammars. J. Comput. Syst. Sci. 24 (3) (1982)
Joost Engelfriet, Gilberto Filé
Passes and Paths of Attributive Grammars Inf. Control. 49 (2) (1981)
Joost Engelfriet, Gilberto Filé
Passes, Sweeps and Visits. ICALP (1981)
Joost Engelfriet, Gilberto Filé
The Formal Power of One-Visit Attribute Grammars. Acta Informatica 16 (1981)
Joost Engelfriet, Gilberto Filé
Formal Properties of One-Visit and Multi-Pass Attribute Grammars. ICALP (1980)