Skip to main content

Abstracting numeric constraints with Boolean functions

Howe, Jacob M., King, Andy (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (doi:10.1016/S0020-0190(00)00081-8) (KAR id:16241)

Language: English
Download (345kB) Preview
Other (zip)
Language: English
Download (83kB)
Official URL


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
DOI/Identification number: 10.1016/S0020-0190(00)00081-8
Uncontrolled keywords: abstract interpretation; compilers; constraint programming
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Security Group
Depositing User: Andy King
Date Deposited: 02 Apr 2009 20:12 UTC
Last Modified: 15 Feb 2020 04:02 UTC
Resource URI: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):


Downloads per month over past year