832 search results - page 111 / 167 » Mutation of Java Objects |
128
Voted
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
100
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...
86
Voted
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
93
Voted
IWMM
2000
Springer
15 years 4 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
106
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...