An operational semantics for object-oriented concepts based on the class hierarchy

Robert Colvin. An operational semantics for object-oriented concepts based on the class hierarchy. Formal Asp. Comput., 26(3):491-535, 2014. [doi]

Abstract

Abstract is missing.