7 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 2 cited
Structural Resolution for Abstract Compilation of Object-Oriented Languages
Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program,…
cs.PL2017★ 7 cited
Extending Coinductive Logic Programming with Co-Facts
Davide Ancona, Francesco Dagnino, Elena Zucca
We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble…