• simplification-based separate analysis;
• worst-case separate analysis;
• separate analysis with (user-provided) interfaces; <
• symbolic relational separate analysis;

\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,
}