| Publisher | Yale University Press | ||
|---|---|---|---|
| Format | 276.2KB PDF | Date added | 15 Dec 2000 |
| Topics | Java, Software Engineering, Programming Languages | ||
| Downloads | 8 | ||
This paper present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavior as a standard implementation using vtables and self-application for method invocation. Classes inherit super-class methods with no overhead. The researchers support mutually recursive classes while preserving separate compilation. Their strategy extends naturally to a significant subset of Java, including interfaces and privacy. The formal translation using Featherweight Java allows comprehensible type-preservation proofs and serves as a starting point for extending the translation to new features.
Related white papers
Outsourcing the data centre to a carrier neutral data centre operator in Europe
Should you outsource your data centre? You should if your organization has mission critical IT services, latency dependent Web services, business critical applications, or Internet centric services that need to...
Increase developer productivity using IBM RationalTM and WebSphereTM.
Even in a down economy, it's important to deliver services quickly. This Webcast presentation shows how by using solutions from Rational and WebSphere, development teams can leverage the latest Web...
Is the time right to move from RISC to Intel Architecture?
Previous business decisions to deploy your IT solutions on RISC based architectures was most likely the right decision at the time based on the business need, the solutions availability and...
Wharton Business School Raises the Bar Again with an Innovative, Eco-friendly, Smart MFP Printing Solution
Adopting Smart MFP (multifunction printer) Technology Experts argue that organizations that manage their printing infrastructure can save up to 30 percent of their printing spend. Want to learn how you...
Weblogic Server 8.1: Using BEA WebLogic JMS With Applets
In WebLogic Server 8.1, you can run using the standard jar or the client jar. The standard jar, weblogic.jar, contains all of the software to run WebLogic Server and provides...
Wondering Why Strategy Is Not Producing Results?
Execution is the difference™. It is the critical success factor. While every company has a strategy, most also have a giant execution deficit. The reality is that it's almost impossible...
Oriental Overseas Container Line Cuts Development Cycle by 50%
OOCL leads the container transportation industry in its use of technology. In 2007, the company was looking for a more efficient and cost-effective way to improve response times in its...



