Statistics
Publications
4
Citations
172
H-Index
4
Active since
1991
Affiliations
University of Padua(Current)
G. Filé is an author at University of Padua specializing in formal methods, logic programming, and computing.
Publications per year
1991–2003
4
4
Abstract interpretation of logic programs
Agostino Cortesi, G. Filé · 1991 · 36 citations
Computations, abstractions and constraints in logic programs
Philippe Codognet, G. Filé · 2003 · 36 citations
Abstract interpretation of logic programs
Agostino Cortesi, G. Filé · ACM SIGPLAN Notices · 1991 · 14 citations
1–4 of 4