Complete Abstractions Everywhere

@inproceedings{Ranzato2013CompleteAE,
  title={Complete Abstractions Everywhere},
  author={Francesco Ranzato},
  booktitle={VMCAI},
  year={2013}
}
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