White Papers

Inferring Aliasing and Encapsulation Properties for Java

Tags: java

Overview There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniqueness. Most of these systems require extensive manual annotations, and thus there is little experience with these properties in large, existing Java code bases. To remedy this situation, the paper presents Uno, a novel static analysis for automatically inferring ownership, uniqueness, and other aliasing and encapsulation properties in Java. The analysis requires no annotations, and combines an intraprocedural points-to analysis with an interprocedural, demand-driven predicate resolution algorithm.

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 3, 2009
Format: White Papers
Topics: Java, Programming Languages, Software Engineering

Similiar White Papers

Achieving the Impossible: Unlimited Application Scalability

For applications with high scalability demands, ensuring 100% availability during peak usage periods is challenging enou

Publisher: Oracle | Tags: applications, html, ipod

State Extensions for Java PathFinder

Java PathFinder (JPF) is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual

Publisher: Association for Computing Machinery | Tags: java

ConTest Listeners: A Concurrency-Oriented Infrastructure for Java Test and Heal Tools

With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent mac

Publisher: Association for Computing Machinery | Tags: infrastructure, java

BeanConnect V2.0: Technical Overview

With the product BeanConnect 2.0, Fujitsu Siemens Computers offers software which complies with the JCA 1.5 specificatio

Publisher: Fujitsu Siemens | Tags: application server, applications, computers, fujitsu, java, server, software

Continuous Performance Management in Eclipse

Continuous performance management ("CPM") isn't a myth - it's a proven method to help your business find and resolve iss

Publisher: Quest Software | Tags: cpm, java, management

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 »