A Method for Symbolic Computation of Precise Abstract Transformers

@inproceedings{Thakur2011AMF,
  title={A Method for Symbolic Computation of Precise Abstract Transformers},
  author={Aditya Thakur and Thomas W. Reps},
  year={2011}
}
In 1979, Cousot and Cousot gave a specification of the “best” (most-precise) abstract transformer possible for a given concrete transformer and a given abstract domain. Unfortunately, their specification does not lead to an algorithm for obtaining best transformers. In fact, algorithms are known for only a few abstract domains. This paper presents a parametric framework that, for some abstract domains, is capable of obtaining best transformers in the limit. Because the method approaches best… CONTINUE READING