• Simplification-based separate analysis;
• Worst-case separate analysis;
• Separate analysis with (user-provided) interfaces;
• Symbolic relational separate analysis;

• A4 landscape .pdf (260 Ko) for viewing with Acrobate Reader and compressed PostScript .ps.gz (96 Ko) for viewing with Ghostview or printing;
• 4 slides per A4 landscape sheet for printing in color .ps.gz (556 Ko).

\bibitem{CousotCousot01-SSGRR}
P{.} Cousot and R{.} Cousot.
\newblock Compositional Separate Modular Static Analysis of Programs by
   Abstract Interpretation.
\newblock In \emph{Proceedings of the Second International Conference on
   Advances in Infrastructure for E-Business, E-Science and E-Education on the
   Internet, SSGRR 2001}, Compact disk, L'Aquila, Italy, 6--12 August, 2001. 
   Scuola Superiore G{.} Reiss Romoli.

@inproceedings{CousotCousot01-SSGRR,
   author =    {Cousot, P{.} and Cousot, R{.}},
   title =     {Compositional Separate Modular Static Analysis of Programs 
                by Abstract Interpretation},
   booktitle = {Proceedings of the Second International Conference on Advances
                in Infrastructure for E-Business, E-Science and E-Education on the
                Internet, SSGRR 2001},
   address =   {Compact disk, L'Aquila, Italy},
   publisher = {Scuola Superiore G{.} Reiss Romoli},
   month =     {6--12 August, 2001},
   year =      2001,
}