Compilation and Equivalence of Imperative Objects

Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen. Compilation and Equivalence of Imperative Objects. Journal of Functional Programming, 9(4):373-426, 1999.

Abstract

Abstract is missing.