DocumentCode
1996042
Title
A semantics of object types
Author
Abadi, Martin ; Cardelli, Luca
Author_Institution
Digital Equipment Corporation, System Research Center
fYear
1994
fDate
4-7 Jul 1994
Firstpage
332
Lastpage
341
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location
Paris
Print_ISBN
0-8186-6310-3
Type
conf
DOI
10.1109/LICS.1994.316056
Filename
316056
Link To Document