Trace-Based Abstract Interpretation of Operational Semantics David A. Schmidt OriginalPaper Pages: 237 - 271