Sciweavers

Share
OOPSLA
2007
Springer

Component nextgen: a sound and expressive component framework for java

9 years 4 months ago
Component nextgen: a sound and expressive component framework for java
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across components are common in object-oriented programs—an issue that has proven troublesome in the context of component systems for functional and procedural languages. Second, inheritance across component boundaries can cause accidental method overrides. Our recent research shows that a component framework can be constructed for a nominally typed object-oriented language supporting first-class1 generic types simply by adding appropriate annotations, syntactic sugar, and component-level type-checking. The fundamental semantic building blocks for constructing, type-checking and manipulating components are provided by the underlying first-class generic type system. To demonstrate the simplicity and utility of this approach we have designed and implemented an extension of Java called Component NEXTGEN (CGEN). CG...
James Sasitorn, Robert Cartwright
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where OOPSLA
Authors James Sasitorn, Robert Cartwright
Comments (0)
books