BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Hungary
1 × Israel
1 × The Netherlands
1 × United Kingdom
2 × France
3 × Germany
3 × USA
Collaborated with:
A.Cortesi F.Ranzato P.Codognet J.Engelfriet D.Baldan W.H.Winsborough C.Codognet P.Sottero N.Civran F.Pulvirenti M.Codish D.Dams M.Bruynooghe R.Giacobazzi C.Palamidessi
Talks about:
abstract (11) interpret (7) program (3) analysi (3) method (3) domain (3) logic (3) complement (2) backtrack (2) intellig (2)

Person: Gilberto Filé

DBLP DBLP: Fil=eacute=:Gilberto

Facilitated 3 volumes:

SAS 2007Ed
SAS 1999Ed
WSA 1993Ed

Contributed to:

PPDP 19991999
SAS 19971997
JICSLP 19961996
SAS 19951995
ILPS 19941994
ICLP 19931993
ICALP 19921992
LICS 19911991
PEPM 19911991
PLILP 19911991
JTASPEFL/WSA 19911991
ICLP/SPL 19881988
ESOP 19861986
ICALP 19811981
ICALP 19801980

Wrote 15 papers:

PPDP-1999-BaldanCFP #abstract interpretation
A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
SAS-1997-BaldanF #abstract interpretation
Abstract Interpretation from Improving WAM Code (DB, GF), p. 364.
JICSLP-1996-FileR #abstract domain
Complementation of Abstract Domains made Easy (GF, FR), pp. 348–362.
SAS-1995-CortesiFGPR #abstract interpretation
Complementation in Abstract Interpretation (AC, GF, RG, CP, FR), pp. 100–117.
ILPS-1994-FileR #abstract interpretation #set
Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.
ICLP-1993-CodishDFB #analysis #correctness #logic programming #question #source code
Freeness Analysis for Logic Programs — And Correctness? (MC, DD, GF, MB), pp. 116–131.
ICALP-1992-CortesiFW #abstract interpretation #comparison
Comparison of Abstract Interpretations (AC, GF, WHW), pp. 521–532.
LICS-1991-CortesiFW #abstract domain #analysis
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.
PEPM-1991-CortesiF #abstract domain #abstract interpretation #analysis #logic programming #source code
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis (AC, GF), pp. 52–61.
PLILP-1991-FileS #abstract interpretation #type checking
Abstract Interpretation for Type Checking (GF, PS), pp. 311–322.
WSA-1991-CodognetF #abstraction #constraints
Computations, Abstractions and Constraints (PC, GF), pp. 70–71.
JICSCP-1988-CodognetCF88 #backtracking
Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.
ESOP-1986-CodognetCF #backtracking #logic programming #source code
A Very Intelligent Backtracking Method for Logic Programs (CC, PC, GF), pp. 315–326.
ICALP-1981-EngelfrietF
Passes, Sweeps and Visits (JE, GF), pp. 193–207.
ICALP-1980-EngelfrietF #attribute grammar #multi
Formal Properties of One-Visit and Multi-Pass Attribute Grammars (JE, GF), pp. 182–194.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.