Paper Info
Title
A Basic Model of Typed Components
Abstract
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients--like explicit context dependence, dynamic binding and subtype polymorphism, late (dynamic) composition, and avoidance of inheritance in favor of object composition -- that several authors have defended to be central to black-box object-oriented component programming styles. The model is expressed by a core imperative typed calculus, in which components are first-class entities, and whose basic constructs enable the composition, scripting, instantiation and definition of atomic components. Some motivating programming examples are presented, and the operational semantics is shown to enjoy a type-safety property. We also discuss an extension to the Java language aimed at supporting the proposed model, and some implementation issues.
Year
DOI
Venue
2000
10.1007/3-540-45102-1_6
ECOOP
Keywords
Field
DocType
object composition,typed components,simple model,programming example,java language,paper studies specific language,basic ingredient,object-oriented component programming style,basic construct,basic model,component-based programming,polymorphism,type safety,context dependent,object oriented,dynamic binding,operational semantics
Operational semantics,Abstraction,Programming language,Object-oriented programming,Object composition,Computer science,Type theory,Theoretical computer science,Parsing,Java,Scripting language
Conference
Volume
ISSN
ISBN
1850
0302-9743
3-540-67660-0
Citations 
PageRank 
References 
52
2.96
15
Authors
2
Name
Order
Citations
PageRank
João Costa Seco1717.36
Luís Caires2103763.30