Complete Abstractions Everywhere

  title={Complete Abstractions Everywhere},
  author={Francesco Ranzato},
While soundness captures an essential requirement of the intrinsic approximation of any static analysis, completeness encodes approximations that are as precise as possible. Although a static analysis of some undecidable program property cannot be complete relatively to its reference semantics, it may well happen that it is complete relatively to an… CONTINUE READING