Parameterized Types for Java
Edit Page
Report
Scan day: 16 February 2014 UTC
32
Virus safety - good
Description: Technical paper reviewing PolyJ, an extension to Java allowing parameterized types.
(January 01, 1997)
Andrew C. Myers, Joseph A. Bank, Barbara Liskov Laboratory for Computer Science Massachusetts Institute of Technology 545 Technology Square, Cambridge, MA 02139 {andru, jbank, liskov}@lcs.mit.edu Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power is needed: support for parametric polymorphism, which allows the definition and implementation of generic abstractions. We discuss both the rationale for our design decisions and the impact of the extension on other parts of Java, including arrays and the class library. We also describe optional extensions to the Java virtual machine to allow parameterized bytecodes, and how to verify them efficiently. We have extended the Java bytecode interpreter to provide good performance for parameterized code in both execution speed and code size, without slowing down non-parameterized code.
Size: 1006 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Parameterized Types for Java |
| Keywords: | |
| Description: | |
| IP-address: | 18.26.1.36 |
WHOIS Info
| NS | Name Servers: USE2.AKAM.NET USE5.AKAM.NET |
| WHOIS | |
| Date | activated: 23-May-1985 last updated: 17-May-2013 expires: 31-Jul-2014 |