2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Daniel Jurjo-Rivas, Jose F. Morales, Pedro López-García +1
Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many…