Now showing items 1-1 of 1
Symbolic Implementation of the Best Transformer
(University of Wisconsin-Madison Department of Computer Sciences, 2003)
This paper shows how to achieve, under certain conditions, abstract-interpretation algorithms that enjoy the best possible precision for a given abstraction. The key idea is a simple process of successive approximation ...