Title: Tribe: A simple virtual class calculus
Authors: Clarke, Dave
Drossopoulou, Sophia
Noble, James
Wrigstad, Tobias #
Issue Date: 2007
Publisher: ACM
Host Document: ACM International Conference Proceeding Series vol:2008 pages:121-134
Conference: Aspect-Oriented Software Development edition:6 location:Vancouver, British Columbia, Canada date:12-16 March 2007
Abstract: Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) 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 field 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, 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.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Non-KU Leuven Association publications
# (joint) last author

Files in This Item:
File Description Status SizeFormat
tribism.pdfMain article Published 237KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.