5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Gianluca Amato, Francesca Scozzari
Static analysis of logic programs by abstract interpretation requires designing abstract operators which mimic the concrete ones, such as unification, renaming and projection. In t…