| Publisher | University of New Mexico | ||
|---|---|---|---|
| Format | 257.2KB PDF | Date added | 12 Feb 2007 |
| Topics | Programming Languages, Object-Oriented, Java | ||
| Downloads | 2 | ||
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.
Did you find this white paper useful?
1 out of 2 users found this white paper useful
Related white papers
The Scoop on the New CCNA and CCNP Specializations
There has been a lot of interest among students lately on the details surrounding the CCNA specializations and their relationship with the corresponding CCNP specializations. These specializations were introduced in...
A Better Alternative: An Improved Approach to Facilities Management
Real estate is typically the second largest corporate expense after personnel, so why do so many organizations remain unchanged in the way they manage their facilities? Shouldn't they, and you,...
Model-Driven Development for the C Developer
C replaced assembler as the preferred language for embedded programming over ten years ago and with it came a huge increase in productivity. Today, Model Driven Development and UML offer...
Smarter Products - The Building Blocks for a Smarter Planet
Businesses are delivering a new generation of smarter products that are increasingly instrumented, interconnected and intelligent - enabled through software. Integration of software engineering with electronic and mechanical...
Data Modeling: It's All About the Relationships
Unsuccessful data models are due to many factors - uncertainty about the concepts or the business requirements, lack of solid training for the programmer and even trying to be effective...
Deutsche Bank Bauspar AG Uses ArcStyler to Embed Existing Cobol Mainframe Application Into Modern Web-Based Systems
The client is Deutsche Bank Bauspar AG. The 'Web extension' to the existing Host functionality required the Cobol components to be mapped to Java-enabled counterparts in the Web world in...
Enhancing Spacecraft System Design Using Statemate
Statemate is the number one systems engineering tool in the specification and design of complex mission critical systems. This presentation is the first of a new industry application focus series....
