Computing Publications

Publications Home » Tribe: More Types for Virtual Classes

Tribe: More Types for Virtual Classes

Sophia Drossopoulou, David Clarke, James Noble, Tobias Wrigstad

Conference or Workshop Paper
6th International conference on Aspect-oriented software development (AOSD 2007), Vancouver, British Columbia, Canada
March, 2007
pp.121–134
ACM Press
ISBN 1-59593-615-7
Abstract

Beginning with Beta, a range of programming language mechanisms have been developed to allow inheritance in the presence of mutually dependent classes. This paper presents Tribe, a type system which generalises and simplifies other formalisms of such mechanisms, by treating issues which are inessential for soundness, such as the precise details of dispatch and path initialisation, as orthogonal to the core formalism. Tribe can support path types dependent simultaneously on both classes and objects, which is useful for writing library code, and ubiquitous access to an object's family (= owner), which offers family polymorphism without the need to drag around family arguments. Languages based on Tribe will be both simpler and more expressive than existing designs, while having a simpler type system, serving as a useful basis for future language designs.

Keywords
SLURP
Language Design
PDF of full publication (386 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.