article · 2008

Abstract ‘Adding Type Parameterization to the Java’ ” Language

Ole Agesen, Stephen N. John, C. Mitchell

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-i-t templates, and ML polymorphic func-tions or data types) to allow a general concept to be instantiated to one or more specific types. In this pa-per, 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 lan-guage. We show that these Java extensions may be im-plemented by expanding parameterized classes at class load time, without any extension or modification to ex-isting Java bytecode, verifier or bytecode interpreter. 1

Cite this paper

APA 7

Agesen, O., John, S. N., & Mitchell, C. (2008). Abstract ‘Adding Type Parameterization to the Java’ ” Language.

MLA 9

Agesen, Ole, et al. “Abstract ‘Adding Type Parameterization to the Java’ ” Language.” 2008.

Chicago

Agesen, Ole, Stephen N. John, and C. Mitchell. 2008. “Abstract ‘Adding Type Parameterization to the Java’ ” Language.”

Harvard

Agesen, O., John, S.N. and Mitchell, C. (2008) ‘Abstract ‘Adding Type Parameterization to the Java’ ” Language’.

BibTeX

@article{agesen2008abstract,
  title = {{Abstract ‘Adding Type Parameterization to the Java’ ” Language}},
  author = {Agesen, Ole and John, Stephen N. and Mitchell, C.},
  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.