Abstracting Numeric Constraints with Boolean Functions

Howe, J. M. & King, A. (2000). Abstracting Numeric Constraints with Boolean Functions. Information Processing Letters, 75(1-2), pp. 17-23. doi: 10.1016/S0020-0190(00)00081-8

Download (208kB) | Preview


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.

Item Type: Article
Uncontrolled Keywords: abstract interpretation, compilers, constraint programming
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Informatics > Department of Computing
URI: http://openaccess.city.ac.uk/id/eprint/1696

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics