White Papers

Automatic Inference of Stationary Fields: A Generalization of Java's Final Fields

Tags: java

Overview Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be used in program understanding and detection of errors in new code additions. Unfortunately, few fields in programs are actually declared final. Programs often contain fields that could be final, but are not declared so. Moreover, the definition of final has restrictions on initialization that limit its applicability. This paper has developed an efficient algorithm for inferring which fields are stationary in a program, based on the observation that many fields acquire their value very close to object creation.

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

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

A Technique for Dynamic Updating of Java Software

During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in i

Publisher: Georgia Institute of Technology | Tags: downtime, java, software

Teaching Students Java Bytecode Using Lego Mindstorms Robots

Assembly language is a valuable subject to teach, yet one of the most underappreciated by students. Students do not see

Publisher: Saint Joseph's University | Tags: java, robotics

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

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 »