Componential Set � Based Analysis

@inproceedings{Compaq1997ComponentialS,
  title={Componential Set � Based Analysis},
  author={CORMAC FLANAGAN Compaq and M F Rice},
  year={1997}
}
  • CORMAC FLANAGAN Compaq, M F Rice
  • Published 1997
Set based analysis SBA produces good predictions about the behavior of functional and object oriented programs The analysis proceeds by inferring constraints that characterize the data ow relationships of the analyzed program Experiences with MrSpidey a static debugger based on SBA indicate that SBA can adequately deal with programs of up to a couple of thousand lines of code SBA fails however to cope with larger programs because it generates systems of constraints that are at least linear and… CONTINUE READING