Introduction to set constraint-based program analysis

Authors
Aiken, A
Citation
A. Aiken, Introduction to set constraint-based program analysis, SCI COMP PR, 35(2-3), 1999, pp. 79-111
Citations number
59
Categorie Soggetti
Computer Science & Engineering
Journal title
SCIENCE OF COMPUTER PROGRAMMING
ISSN journal
01676423 → ACNP
Volume
35
Issue
2-3
Year of publication
1999
Pages
79 - 111
Database
ISI
SICI code
0167-6423(199911)35:2-3<79:ITSCPA>2.0.ZU;2-3
Abstract
This paper gives an introduction to using set constraints to specify progra m analyses. Several standard analysis problems are formulated using set con straints, which serves both to illustrate the style of using constraints to specify program analysis problems and the range of application of set cons traints. (C) 1999 Elsevier Science B.V. All rights reserved.