No. 2 (1997): RS-02 Abstract Interpretation in the Operational Semantics Hierarchy

Published: 1997-01-02