Observational Completeness on Abstract Interpretation
Gianluca Amato, Francesca Scozzari · Fundamenta Informaticae · 2011
In the theory of abstract interpretation, a domain is complete when abstract computations are as precise as concrete computations. In addition to the standard notion of completeness, we introduce the concept of observational completeness. A domain is