Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

November 1989


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-89-62.


This paper relates two views of the operational semantics of a language with multiple inheritance. It is shown that the introduction of explicit coercions as an interpretation for the implicit coercion of inheritance does not affect the evaluation of a program in an essential way. The result is proved by semantic means using a denotational model and a computational adequacy result to relate the operational and denotational semantics.



Date Posted: 28 January 2008