Elusive but Coverable: The Recursion-Theoretic Structure of Complete Abstract Interpretations

Nicklas Carpenter, Roberto Giacobazzi

We study local completeness and incompleteness of abstract interpretations from a recursion-theoretic perspective. Local completeness weakens global completeness and captures the a…