Trace Partitioning in Abstract Interpretation Based Static Analyzers.

Laurent Mauborgne, Xavier Rival

Browse the full ESOP paper archive.