Skip to Main content Skip to Navigation
Conference papers

An extended Theory of Primitive Objects: First order system

Abstract : We investigate a first-order extension of the Theory of Primitive Objects of [5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This extended calculus has a sound type system which allows static detection of run-time errors such as message-not-understood, " width " subtyping and a typed equational theory on objects. Moreover, it can express classes and class-inheritance.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01154568
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Friday, May 22, 2015 - 2:05:26 PM
Last modification on : Saturday, January 27, 2018 - 1:31:31 AM
Long-term archiving on: : Thursday, April 20, 2017 - 7:00:18 AM

File

1997-ecoop-97.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Luigi Liquori. An extended Theory of Primitive Objects: First order system. ECOOP, Jun 1997, Jyvaskyla, Finland. pp.146-169, ⟨10.1007/BFb0053378⟩. ⟨hal-01154568⟩

Share

Metrics

Record views

258

Files downloads

277