@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}
}