City Research Online

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


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.

Publication Type: Article
Publisher Keywords: abstract interpretation, compilers, constraint programming
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Science & Technology > Computer Science
Download (208kB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login