article · 2008

Abstract Adding Type Parameterization to the Java TM Language

Ole Agesen

Cited by 0Abstract and details only

Abstract

Although the Java programming language has achieved widespread acceptance, one feature that seems sorely missed is the ability to use type parameters (as in Ada generics, C++ templates, and ML polymorphic functions or data types) to allow a general concept to be instantiated to one or more specific types. In this paper, we propose parameterized classes and interfaces in which the type parameter may be constrained to either implement a given interface or extend a given class. This design allows the body of a parameterized class to refer to methods on objects of the parameter type, without introducing any new type relations into the language. We show that these Java extensions may be implemented by expanding parameterized classes at class load time, without any extension or modification to existing Java bytecode, verifier or bytecode interpreter. 1

Cite this paper

APA 7

Agesen, O. (2008). Abstract Adding Type Parameterization to the Java TM Language.

MLA 9

Agesen, Ole. “Abstract Adding Type Parameterization to the Java TM Language.” 2008.

Chicago

Agesen, Ole. 2008. “Abstract Adding Type Parameterization to the Java TM Language.”

Harvard

Agesen, O. (2008) ‘Abstract Adding Type Parameterization to the Java TM Language’.

BibTeX

@article{agesen2008abstract,
  title = {{Abstract Adding Type Parameterization to the Java TM Language}},
  author = {Agesen, Ole},
  year = {2008}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.