Now showing items 1-1 of 1

    • Symbolic Implementation of the Best Transformer 

      Reps, Thomas; Sagiv, Mooly; Yorsh, Greta (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 ...