Gilberto Filé - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 48 from 48

2004

Precise Analysis of p-Calculus in Cubic TimeLivio Colussi, Gilberto Filé, A. Griggio. ifipTCS 2004: 317-332

2003

Static AnalysisAgostino Cortesi, Gilberto Filé. SCP, 47(2-3):89-90, 2003. [doi]

1999

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

Sharing is OptimalAgostino Cortesi, Gilberto Filé. jlp, 38(3):371-386, 1999.

The Powerset Operator on Abstract InterpretationsGilberto Filé, Francesco Ranzato. TCS, 222(1-2):77-111, 1999. [doi]

1998

The Quotient of an Abstract InterpretationAgostino Cortesi, Gilberto Filé, William H. Winsborough. TCS, 202(1-2):163-192, 1998. [doi]

1997

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

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

Complementation in Abstract InterpretationAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato. TOPLAS, 19(1):7-47, 1997. [doi]

1996

1995

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

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

1994

The Quotient of an Abstract Interpretation for Comparing Static AnalysesAgostino Cortesi, Gilberto Filé, William H. Winsborough. agp 1994: 372-387

Improving Abstract Interpretations by Systematic Lifting to the PowersetGilberto Filé, Francesco Ranzato. agp 1994: 357-371

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

1993

1992

Computations, abstractions and constraints in logic programsPhilippe Codognet, Gilberto Filé. iccl 1992: 155-164 [doi]

Comparison of Abstract InterpretationsAgostino Cortesi, Gilberto Filé, William H. Winsborough. icalp 1992: 521-532

1991

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

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

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

Abstract Interpretation for Type CheckingGilberto Filé, P. Sottero. plilp 1991: 311-322

1989

Passes, sweeps, and visits in attribute grammarsJoost Engelfriet, Gilberto Filé. JACM, 36(4):841-869, 1989. [doi]

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

1988

A completeness result for SLDNF resoultionStefano Baratella, Gilberto Filé. eatcs, 35:97-105, 1988.

Yet another intelligent Backtracking methodChristian Codognet, Philippe Codognet, Gilberto Filé. jfplc 1988: 317-336

Yet Another Intelligent Backtracking MethodChristian Codognet, Philippe Codognet, Gilberto Filé. ICLP 1988: 447-465

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

1987

Classical and Incremental Attribute Evaluation by Means of Recursive ProceduresGilberto Filé. TCS, 53:25-65, 1987.

1986

Backtracking intelligent en programmation logiqueChristian Codognet, Philippe Codognet, Gilberto Filé. jfplc 1986: 25-50

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

Machines for Attribute GrammarsGilberto Filé. iandc, 69(1-3):41-124, April/May/June 1986.

Classical and Incremental Evaluators for Attribute GrammarsGilberto Filé. caap 1986: 112-126

1985

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

1983

Interpretation and Reduction of Attribute GrammarsGilberto Filé. ACTA, 19:115-150, 1983.

1982

Simple Multi-Visit Attribute GrammarsJoost Engelfriet, Gilberto Filé. jcss, 24(3):283-314, 1982.

1981

The Formal Power of One-Visit Attribute GrammarsJoost Engelfriet, Gilberto Filé. ACTA, 16:275-302, 1981.

Passes, Sweeps and VisitsJoost Engelfriet, Gilberto Filé. icalp 1981: 193-207

Passes and Paths of Attributive GrammarsJoost Engelfriet, Gilberto Filé. iandc, 49(2):125-169, May 1981.

1980

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

Sign in or sign up to see more results.

runs on WebDSL