Key points are not available for this paper at this time.
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.
Building similarity graph...
Analyzing shared references across papers
Loading...
California University of Pennsylvania
Add This Paper to Your Research Feed
Any time a new paper drops it will be there.
Breazu-Tannen et al. (Tue,) studied this question.