Aliasing occurs when two or more references to an object exist within the object graph of a running program. Although aliasing is essential in object-oriented programming as it allows programmers to implement designs involving sharing, it is problematic because its presence makes it difficult to reason about the object at the end of an alias—via an alias, an object’s state can change underfoot.status: publishe
A number of proposals to manage aliasing in Java-like programming languages have been advanced over ...
Abstract. Refinement is a well-known approach for developing correct-by-construction softwares. It h...
Various methods for formal program verification have been around for a long time. Hoare logic is on...
Abstract. Aliasing is endemic in object oriented programming. Because an object can be modified via ...
The power of objects lies in the flexibility of their interconnection structure. But this flexibilit...
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias,...
. Object-oriented systems are typically structured as complex networks of interacting mutable object...
Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Neverthele...
Object-oriented programming languages allow inter-object aliasing. Although necessary to construct l...
References are a programming language construct that lets a programmer access a datum invariant of i...
Interobject references in object-oriented programs allow arbitrary aliases between objects. By breac...
Object-oriented systems are typically structured as complex networks of interacting mutable objects....
The presence of aliasing makes modular verification of object-oriented code difficult. If multiple c...
This thesis presents a general model of access control. It uses a simple notion of an access permiss...
Abstract—Object ownership enforces encapsulation within object-oriented programs by forbidding incom...
A number of proposals to manage aliasing in Java-like programming languages have been advanced over ...
Abstract. Refinement is a well-known approach for developing correct-by-construction softwares. It h...
Various methods for formal program verification have been around for a long time. Hoare logic is on...
Abstract. Aliasing is endemic in object oriented programming. Because an object can be modified via ...
The power of objects lies in the flexibility of their interconnection structure. But this flexibilit...
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias,...
. Object-oriented systems are typically structured as complex networks of interacting mutable object...
Unwanted effects of aliasing cause encapsulation problems in object oriented programming. Neverthele...
Object-oriented programming languages allow inter-object aliasing. Although necessary to construct l...
References are a programming language construct that lets a programmer access a datum invariant of i...
Interobject references in object-oriented programs allow arbitrary aliases between objects. By breac...
Object-oriented systems are typically structured as complex networks of interacting mutable objects....
The presence of aliasing makes modular verification of object-oriented code difficult. If multiple c...
This thesis presents a general model of access control. It uses a simple notion of an access permiss...
Abstract—Object ownership enforces encapsulation within object-oriented programs by forbidding incom...
A number of proposals to manage aliasing in Java-like programming languages have been advanced over ...
Abstract. Refinement is a well-known approach for developing correct-by-construction softwares. It h...
Various methods for formal program verification have been around for a long time. Hoare logic is on...