City Research Online - Abstracting Numeric Constraints with Boolean Functions

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

Abstract

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
SWORD Depositor:	Symplectic Administrator

[thumbnail of Abstracting_Numeric_Constraints_with_Boolean_Functions.pdf]

Preview

PDF
Download (208kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Howe, J. M. King, A.
Status:	Published
Refereed:	Yes
Journal or Publication Title:	Information Processing Letters
Publisher:	Elsevier BV
ISSN:	0020-0190
URI:	https://openaccess.city.ac.uk/id/eprint/1696
Date available in CRO:	12 Oct 2012 12:46
Dates:	Date Event 2000 Published