\bibitem{CousotCousot93-1} P.~Cousot and R.~Cousot. \newblock Galois Connection Based Abstract Interpretations for Strictness Analysis. \newblock In D.~Bj\o rner, M.~Broy, and I.V. Pottosin, editors, \emph{Proceedings of the International Conference on Formal Methods in Programming and their Applications}, Academgorodok, Novosibirsk, Russia, Lecture Notes in Computer Science 735, pages 98--127. Springer-Verlag, Berlin, Germany, June 28--July 2, 1993. @inproceedings{CousotCousot93-1, author = {Cousot, P{.} and Cousot, R{.}}, title = {Galois Connection Based Abstract Interpretations for Strictness Analysis, invited paper}, pages = {98--127}, booktitle = {Proceedings of the International Conference on Formal Methods in Programming and their Applications, Academgorodok, Novosibirsk, Russia}, series = {Lecture Notes in Computer Science 735}, editor = {Bj{\o }rner, D{.} and Broy, M{.} and Pottosin, I{.}V{.}}, publisher = {Springer-Verlag, Berlin, Germany}, month = {28 June -- 2 July}, year = 1993, isbn = {978-3-540-57316-6}, issn = {0302-9743}, doi = {10.1007/BFb0039703}, }
,
Springer-Verlag copyright notice
Last modified:
Monday, 04-Jan-2010 12:40:13 CET