Abstracting numeric constraints with Boolean functions

Article English OPEN
Howe, Jacob M. ; King, Andy (2000)

A simple, syntactic algorithm for abstracting numeric constraints for groundness analysis is presented and proved correct. The technique uses neither projection nor temporary variables, and plugs a gap in the abstract interpretation literature.
Share - Bookmark