Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation

@inproceedings{Cousot1995FormalLG,
  title={Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation},
  author={Patrick Cousot and Radhia Cousot},
  booktitle={FPCA},
  year={1995}
}
Grammar-based program analysis a la Jones and Muchnick and set-constraint-based program analysis a la Aiken and Heintze are static analysis techniques that have traditionally been seen as quite di erent from abstractinterpretation-based analyses, in particular because of their apparent non-iterative nature. For example, on page 18 of [17], it is alleged that \The nitary nature of abstract interpretation implies that there is a fundamental limitation on the accuracy of this approach to program… CONTINUE READING

Topics

Statistics

01020'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

163 Citations

Semantic Scholar estimates that this publication has 163 citations based on the available data.

See our FAQ for additional information.