Abstract: (from Computing Surveys' Electronic Symposium on the Theory of Computation, P. Degano, R. Gorrieri, A. Marchetti-Spaccamela & P. Wegner, ACM Computing Surveys, Vol. 31, No. 3, September 1999, pages 222-226)
“Directions for Research in Approximate System Analysis,” by Cousot, discusses the scope of program analysis and enumerates the main approaches to it. The main focus is on approximate methods and, in particular, abstract interpretation. Its aspects and open problems are examined both from a theoretical and a practicle point of view

\bibitem{Cousot-CS-99}
P{.} Cousot.
\newblock Directions for research in approximate system analysis.
\newblock \emph{ACM Computing Surveys}, 31(3es), september 1999.

@article{Cousot-CS-99,
   author =  {Cousot, P{.}},
   title =   {Directions for Research in Approximate System Analysis},
   journal = {ACM Computing Surveys},
   volume =  31,
   number =  {3es},
   month =   sep,
   year =    1999,
}