Sciweavers

832 search results - page 87 / 167
» Mutation of Java Objects
Sort
View
SAC
2010
ACM
14 years 4 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
POS
1998
Springer
14 years 2 months ago
Optimizing the Read and Write Barriers for Orthogonal Persistence
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
Antony L. Hosking, Nathaniel Nystrom, Quintin I. C...
FCT
2007
Springer
14 years 4 months ago
FJMIP: A Calculus for a Modular Object Initialization
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
Viviana Bono, Jaroslaw D. M. Kusmierek
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
14 years 4 months ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina
ICSE
1999
IEEE-ACM
14 years 2 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold