White Papers

Precise Set Sharing and Nullity Analysis for Java-Style Programs

Overview Finding useful sharing information between instances in object-oriented programs has been recently the focus of much research. This paper introduces a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. The analysis achieves precision in various ways. The analysis is multivariant, which allows separating different contexts. They propose a combined Set Sharing + Nullity + Classes domain which captures which instances share and which ones do not or are definitively null, and which uses the classes to refine the static information when inheritance is present. Carrying the domains in a combined way facilitates the interaction among the domains in the presence of mutivariance in the analysis.

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

Publisher: University of New Mexico
File Format: PDF
Date Published: Jan 3, 2009
Format: White Papers
Topics: Java, Object-Oriented, Programming Languages

Similiar White Papers

Trifolium Case Study: British Petroleum

British Petroleum (BP) had a change management problem. Any change to their IT infrastructure, whether as simple as the

Publisher: Trifolium | Tags: business process, business process management, change management, infrastructure, java, management, object-oriented, server, software

Mostly-Functional Behavior in Java Programs

This paper presents a lightweight type-and-effect system for Java programs that features two major innovations over exta

Publisher: University of Wisconsin | Tags: java, object-oriented

Modular Multiple Dispatch With Multiple Inheritance

Overloaded functions and methods with multiple dispatch are useful for extending the functionality of existing classes i

Publisher: Sun Microsystems | Tags: java, object-oriented

StockMaster: A Java-Based Stock Portfolio Manager

This paper introduces StockMaster, a stock portfolio manager which uses Java applets and applications to provide portfol

Publisher: University of California | Tags: applications, database, java, object-oriented, server

Data Flow Analysis for Software Prefetching Linked Data Structures in Java

This paper describes an effective compile-time analysis for software prefetching in Java. Previous work in software data

Publisher: University of Massachusetts | Tags: data, java, object-oriented, software

University of New Mexico White Papers

Dynamic Load Balancing in Distributed Systems in the Presence of Delays: A Regeneration-Theory Approach

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 »