Compressed PostScript .ps.gz (440 Kb), PDF (476 Kb)
\bibitem{CousotCousot-CC02} P{.} Cousot and R{.} Cousot. \newblock Modular static program analysis, invited paper. \newblock \emph{Proc{.} 11th International Conference on Compiler Construction} (CC 2002), R.N{.} Horspool (Ed.), Grenoble, France, April 6---14, 2002. LNCS 2304, Springer, Berlin, 2002. @unpublished{CousotCousot-CC02, author = {P{.} Cousot and R{.} Cousot}, title = {Modular Static Program Analysis, invited paper}, editor = {Horspool, R.N{.}}, pages = {159--178}, booktitle = {Proceedings of the Eleventh International Conference on Compiler Construction (CC 2002)}, address = {Grenoble, France}, publisher = {LNCS 2304, Springer, Berlin}, month = {April 6---14}, year = 2002, }
.
Last modified:
Monday, 04-Jan-2010 12:44:47 CET