Abstracting numeric constraints with Boolean functions

Howe, J.M. and King, A. (2000) Abstracting numeric constraints with Boolean functions. Information Processing Letters, 75 (1-2). pp. 17-23. ISSN 0020-0190. (Full text available)

PDF
Download (223kB)
[img]
Preview
Other (zip)
Download (83kB)
[img]
Official URL
http://dx.doi.org/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.

Item Type: Article
Uncontrolled keywords: abstract interpretation; compilers; constraint programming
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Faculties > Science Technology and Medical Studies > School of Computing > Security Group
Depositing User: Andy King
Date Deposited: 02 Apr 2009 20:12
Last Modified: 16 Dec 2013 13:19
Resource URI: http://kar.kent.ac.uk/id/eprint/16241 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year