Citation
Jm. Howe et A. King, Abstracting numeric constraints with Boolean functions, INF PROCESS, 75(1-2), 2000, pp. 17-23
Citations number
9
Categorie Soggetti
Information Tecnology & Communication Systems
Journal title
INFORMATION PROCESSING LETTERS
ISSN journal
00200190
→ ACNP
Volume
75
Issue
1-2
Year of publication
2000
Pages
17 - 23
Database
ISI
SICI code
0020-0190(20000731)75:1-2<17:ANCWBF>2.0.ZU;2-Z
Abstract
A simple, syntactic algorithm for abstracting numeric constraints for groun
dness analysis is presented and proved correct. The technique uses neither
projection nor temporary variables, and plugs a gap in the abstract interpr
etation literature. (C) 2000 Elsevier Science B.V. All rights reserved.