White Papers

Java Type Inference Is Broken: Can We Fix It?

Tags: java

Overview Java 5 introduced a number of sophisticated features, including a major extension to the type system. While the technical details of these new features are complex, much of this complexity is hidden from the typical Java developer by an ambitious type inference mechanism. Unfortunately, the extensions to the Java 5 type system were so novel that their technical details had not yet been thoroughly investigated in the research literature. As a result, the Java 5 compiler includes a pragmatic but flawed type inference algorithm that is, by design, neither sound nor locally complete. This paper dissects the type inference algorithm of Java 5 and proposes a significant revision that is sound and able to calculate correct results where the Java 5 algorithm fails.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Association for Computing Machinery
File Format: PDF
Date Published: Jan 9, 2009
Format: White Papers
Topics: Java, Programming Languages

Similiar White Papers

Connecting to Oracle From Ruby on Rails

In the Java world, there are two common types of drivers for Oracle: the pure-Java (a.k.a. thin) driver and the native O

Publisher: Oracle | Tags: database, java, software

Design Considerations for Using the PIM API for Java ME

Mobile handsets such as cellphones typically have an address book to keep track of people one likes to stay in touch wit

Publisher: Sun Microsystems | Tags: api, applications, data, java

Using Java Persistence API Within a Visual Web JSF Application

Using NetBeans IDE 6.0 and the Visual Web tools, one can write applications that connect to database tables using the Ja

Publisher: Sun Microsystems | Tags: api, applications, data, database, java

Java Servlet & JSP Cookbook: Embedding Multimedia in JSPs

Most web sites include some type of multimedia and interactive programs, such as digital videos, digital audio files, Ma

Publisher: O'Reilly Media | Tags: digital, java

Using XMLEncoder

This paper covers advanced use of XMLEncoder, showing how it can be configured to create archives of any Java objects -

Publisher: Sun Microsystems | Tags: java

Association for Computing Machinery White Papers

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »