## Set Constraints and Set-Based Analysis (1994)

Venue: | In Proceedings of the Workshop on Principles and Practice of Constraint Programming, LNCS 874 |

Citations: | 35 - 0 self |

### BibTeX

@INPROCEEDINGS{Heintze94setconstraints,

author = {Nevin Heintze and Joxan Jaffar},

title = {Set Constraints and Set-Based Analysis},

booktitle = {In Proceedings of the Workshop on Principles and Practice of Constraint Programming, LNCS 874},

year = {1994},

pages = {281--298},

publisher = {Springer-Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

This paper contains two main parts. The first examines the set constraint calculus, discusses its history, and overviews the current state of known algorithms and related issues. Here we will also survey the uses of set constraints, starting from early work in (imperative) program analysis, to more recent work in logic and functional programming systems. The second part describes set-based analysis. The aim here is a declarative interpretation of what it means to approximate the meaning of a program in just one way: ignore dependencies between variables, and instead, reason about each variable as the set of its possible runtime values. The basic approach starts with some description of the operational semantics, and then systematically replaces descriptions of environments (mappings from program variables to values) by set environments (mappings from program variables to sets