Name
Abstract | ||
|---|---|---|
One limitation of the well-known family polymorphism approach is that each "family" will be a large monolithic program. In this paper, we introduce a minimal lightweight set of language features that treat each member of a family as a reusable programming unit, while preserving the important feature of scalability. The only one language construct we propose in this paper is type parameter members, which allows type parameters to be referred from the outside of class declarations. To investigate properties of type parameter members in the real programming language settings, we develop a programming language Scalable Java (SJ), an extension of Java generics with type parameter members. To carefully investigate the type soundness of SJ, we develop FGJ#, a core calculus of this extension based on FGJ, a functional core of Java with generics. Furthermore, to explore how to implement this proposal, we define the erasure of FGJ# programs as an extension of the erasure of FGJ programs, which compiles SJ to Java without generics. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1145/1289971.1289996 | Generative Programming and Component Engineering |
Keywords | Field | DocType |
type soundness,java generics,type parameter members,pamily polymorphism,scalable java,fgj program,real programming language setting,lightweight scalable component,reusable programming unit,well-known family polymorphism approach,type parameter member,parametric polymorphism,language feature,fgj,programming language scalable java,type parameter,polymorphism,programming language | Programming language,Computer science,Language construct,Parametric polymorphism,Real time Java,Theoretical computer science,Generics in Java,Soundness,Java,Erasure,Scalability | Conference |
Citations | PageRank | References |
6 | 0.51 | 23 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tetsuo Kamina | 1 | 170 | 15.50 |
| Tetsuo Tamai | 2 | 334 | 33.27 |