\bibitem{CousotCousot-ENTCS01} P.~Cousot and R. Cousot. \newblock A case study in abstract interpretation based program transformation: blocking command elimination. \newblock In Electronic Notes in Theoretical Computer Science 45 (2001), URL:\url{http://www.elsevier.nl/locate/entcs/volume45.html}, 24 pages. @article{CousotCousot-ENTCS01, author = {Cousot, P{.} and Cousot, R{.}}, title = {A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination}, journal = {Electronic Notes in Theoretical Computer Science}, volume = 45, year = 2001, note = {URL: \url{http://www.elsevier.nl/locate/entcs/volume45.html}, 24 pages}, }
Monday, 04-Jan-2010 13:07:06 CET