Paper:PDF (296.4 KB)

\bibitem{Cousot97-3}
P.~Cousot.
\newblock Abstract interpretation based static analysis parameterized by
          semantics, invited paper
\newblock In \emph{Proceedings of the 4th International Symposium
  on Static Analysis, SAS'97}, Paris, France, 8-10 September 1997, 
  P{.} van Hentenryck (Ed.), Lecture Notes in Computer Science 1302,
  Springer-Verlag, pages 388--394.

@inproceedings{Cousot97-3,
   author =    {Cousot, P{.}},
   editor =    {van Hentenryck, P{.}},
   title =     {Abstract Interpretation Based Static Analysis Parameterized by 
                Semantics, invited paper},
   booktitle = {Proceedings of the Static Analysis Symposium, SAS$\,$'97},
   series =    {Paris, France, Lecture Notes in Computer Science 1302},
   year =      {8--10 september 1997},
   publisher = {Springer-Verlag, Berlin, Germany},
   pages =     {388--394},
}