We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while the heterogeneous translation expands the program by specialising parameterised classes according to their arguments. This paper describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.
|Title of host publication||Generic Programming|
|Subtitle of host publication||International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers|
|Editors||Mehdi Jazayeri, RüdigerG.K. Loos, DavidR. Musser|
|Number of pages||19|
|Publication status||Published - 2000|
|Name||Lecture Notes in Computer Science|
|Publisher||Springer Berlin / Heidelberg|