Two Ways to Bake Your Pizza - Translating Parameterised Types into Java

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 technical report describes both translations in detail, compares their time and space requirements and discusses how each affects the Java security model.


Year:
1997
Note:
Technical Report CIS-97-016, University of South Australia, November 1997.
Other identifiers:
Laboratories:




 Record created 2006-01-24, last modified 2018-03-17

n/a:
Download fulltext
PS.GZ

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)