Conference
Effective and Efficient Compilation of Run-Time Generics in Java
| Τίτλος: | Effective and Efficient Compilation of Run-Time Generics in Java |
|---|---|
| Συγγραφείς: | VIROLI, MIRKO |
| Συνεισφορές: | VIVIANA BONO, MICHELE BUGLIESI, SOPHIA DROSSOPOULOU, Mirko Viroli |
| Στοιχεία εκδότη: | GBR LONDON |
| Έτος έκδοσης: | 2004 |
| Συλλογή: | IRIS Università degli Studi di Bologna (CRIS - Current Research Information System) |
| Θεματικοί όροι: | JAVA GENERICS, COMPILERS, TYPE SYSTEMS |
| Περιγραφή: | After several years from Sun Microsystems' call-for-proposals for adding generics to the Java Programming Language, JDK 1.5 will be finally shipped with a compile-time support for generics. However, differently e.g. from the current implementation of .NET Common Language Runtime, run-time support to generics - also commonly referred to as reification of type parameters - is not provided, leading to a number of well-known inadequacies which might potentially be critical. In this paper we present the EGO compiler (Exact Generics on Demand). This is the result of a project developed in collaboration with Sun Microsystems as an effort to provide run-time generics in a smooth way, without requiring any change on the JVM or on any other run-time support. The core solution is a sophisticated translation of code based on the type-passing style, where run-time type information is automatically created on a by-need basis, limiting as most as possible run-time overhead while retaining interoperability with legacy Java code. We present the main aspects of this development, from basic design to implementation and deployment issues. Many relevant aspects that typical raise when implementing advanced type systems over a mainstream programming language are discussed, shading light to some effective implementation techniques. |
| Τύπος εγγράφου: | conference object |
| Περιγραφή αρχείου: | STAMPA |
| Γλώσσα: | English |
| Relation: | ispartofbook:2nd Workshop on Object-Oriented Developments; Workshop on Object-Oriented Developments; firstpage:1; lastpage:20; numberofpages:20; http://hdl.handle.net/11585/11140 |
| Διαθεσιμότητα: | http://hdl.handle.net/11585/11140 |
| Αριθμός Καταχώρησης: | edsbas.55462100 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!