Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis

Patrick Cousot, Radhia Cousot. Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 95-112, IEEE Computer Society, 1994.

@inproceedings{CousotC94,
  title = {Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis},
  author = {Patrick Cousot and Radhia Cousot},
  year = {1994},
  tags = {analysis, termination},
  researchr = {https://researchr.org/publication/CousotC94},
  cites = {0},
  citedby = {0},
  pages = {95-112},
  booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
  editor = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}