Schmidt, David A.

• BRICS Report Series No. 2 (1997): RS-02 Abstract Interpretation in the Operational Semantics Hierarchy - Articles
  Abstract Interpretation in the Operational Semantics Hierarchy
  Abstract  PDF