Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

LICS
1994
IEEE

favoriteEmaildiscussreport

101views Automated Reasoning» more LICS 1994»

A Semantics of Object Types

13 years 8 months ago

A Semantics of Object Types

Download lucacardelli.name

: 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.

Martín Abadi, Luca Cardelli

Real-time Traffic

Automated Reasoning | Calculus | LICS 1994 | Object Subsumption | Typed Object |

claim paper

Related Content

» Logical Equivalence for Subtyping Object and Recursive Types

» A Typing Scheme for Behavioural Models

» Typed Operational Semantics

» A Deductive and Typed ObjectOriented Language

» Enforcing Strong Object Typing in Flexible Hypermedia

» A Type System for the Relational Calculus of Object Systems

» Rulebased Evolution of Typed Spatiotemporal Objects

» A Concurrent Object Calculus Reduction and Typing

» Quantum typing

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	LICS
Authors	Martín Abadi, Luca Cardelli

Comments (0)