Date of this Version
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.
Val Tannen, Carl A. Gunter, and Andre Scedrov, "Computing With Coercions", . November 1989.
Date Posted: 28 January 2008