G. Filé is an author at University of Padua specializing in automated reasoning, formal methods, and logic programming.
Top concepts
EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningSemanticsNon-monotonic LogicLanguageReasoningFormal Logic
Publications per year
1991–2003
4
4
Abstract interpretation of logic programs
Agostino Cortesi, G. Filé · 1991 · 36 citations
Reasoning, Theory Of Computing, Article Abstract Interpretation +15
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
Rows per page
1–4 of 4