Tannen, ValGunter, Carl AScedrov, Andre2023-05-222023-05-221989-11-012008-01-28https://repository.upenn.edu/handle/20.500.14332/7817This 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.Report