Black & white: | Retroprojection | Ghostview | Printer |
Color: | Retroprojection | Ghostview | Printer |
\bibitem{Cousot97-1} P.~Cousot. \newblock Types as abstract interpretations. \newblock In \emph{Conference Record of the Twentyfourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, pages 316--331, Paris, France, January 1997. ACM Press, New York, NY. @inproceedings{Cousot97-1, author = {Cousot, P{.}}, title = {Types as Abstract Interpretations, invited paper}, pages = {316--331}, booktitle = {Conference Record of the Twentyfourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, address = {Paris, France}, publisher = {ACM Press, New York, NY}, month = jan, year = 1997, }
Monday, 04-Jan-2010 13:24:39 CET