@inproceedings{705322,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)},
 booktitle = {Proceedings of the International Conference on Formal Methods in Programming and Their Applications},
 year = {1993},
 isbn = {3-540-57316-X},
 pages = {98--127},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }