DBLP Record 'conf/iccl/CousotC94'

BibTeX

@inproceedings{DBLP:conf/iccl/CousotC94,
  author    = {Patrick Cousot and
               Radhia Cousot},
  title     = {Invited Talk: Higher Order Abstract Interpretation (and
               Application to Comportment Analysis Generalizing Strictness,
               Termination, Projection, and PER Analysis},
  booktitle = {ICCL},
  year      = {1994},
  pages     = {95-112},
  crossref  = {DBLP:conf/iccl/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccl/1994,
  editor    = {Henri E. Bal},
  title     = {Proceedings of the IEEE Computer Society 1994 International
               Conference on Computer Languages, May 16-19, 1994, Toulouse,
               France},
  booktitle = {ICCL},
  publisher = {IEEE Computer Society},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}