First-Class Object Sets
DAIMI Report Series
View Publication InfoField | Value | |
Title |
First-Class Object Sets
|
|
Creator |
Ernst, Erik
|
|
Description |
Abstract. Typically, objects are monolithic entities with a fixed interface. To increase the flexibility in this area, this paper presents first-class object sets as a language construct. An object set offers an interface which is a disjoint union of the interfaces of its member objects. It may also be used for a special kind of method invocation involving multipleobjects in a dynamic lookup process. With support for feature access and late-bound method calls object sets are similar to ordinary objects, only more flexible. The approach is made precise by means of a small calculus, and the soundness of its type system is shown by a mechanically checked proof in Coq.
|
|
Publisher |
Aarhus University
|
|
Contributor |
—
|
|
Date |
2008-01-01
|
|
Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Peer-reviewed Article |
|
Format |
application/pdf
|
|
Identifier |
http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7224
10.7146/dpb.v37i589.7224 |
|
Source |
DAIMI Report Series; No 589 (2008): PB-589 First-Class Object Sets
DAIMI Report Series; No 589 (2008): PB-589 First-Class Object Sets 2245-9316 0105-8517 |
|
Language |
eng
|
|
Relation |
http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7224/6164
|
|