Title :
A semantics of object types
Author :
Abadi, Martin ; Cardelli, Luca
Author_Institution :
Digital Equipment Corporation, System Research Center
Abstract :
We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the soundness of both typing and equational rules. This semantics suggests a syntactic translation from our calculus into a simpler calculus with neither subtyping nor objects
Keywords :
Calculus; Equations; Object oriented modeling;
Conference_Titel :
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location :
Paris
Print_ISBN :
0-8186-6310-3
DOI :
10.1109/LICS.1994.316056
