151 search results - page 1 / 31 » Flexible Alias Protection |
ECOOP
1998
Springer
13 years 9 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
CC
2001
Springer
13 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...