| 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 |
|---|
| 49 | EE | Agostino 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) |
| 45 | EE | Gilberto Filé,
Francesco Ranzato:
The Powerset Operator on Abstract Interpretations.
Theor. Comput. Sci. 222(1-2): 77-111 (1999) |
| 1998 |
|---|
| 44 | EE | Agostino 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 |
| 41 | EE | Agostino 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 |
| 26 | | Gilberto 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 |
|---|
| 24 | | Agostino Cortesi,
Gilberto Filé,
William H. Winsborough:
Comparison of Abstract Interpretations.
ICALP 1992: 521-532 |
| 23 | EE | Philippe 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 |
| 19 | | Gilberto 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) |
| 17 | EE | Joost 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 |
| 14 | | Gilberto 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 |
|---|
| 11 | | Gilberto Filé:
Classical and Incremental Evaluators for Attribute Grammars.
CAAP 1986: 112-126 |
| 10 | | Christian 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 |
|---|
| 7 | | Gilberto 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 |
|---|
| 4 | | Joost 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 |
|---|
| 1 | | Joost Engelfriet,
Gilberto Filé:
Formal Properties of One-Visit and Multi-Pass Attribute Grammars.
ICALP 1980: 182-194 |
