43 search results - page 3 / 9 » Inference and Checking of Object Ownership |
138
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
133
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
127
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
124
Voted
OOPSLA
1992
Springer
15 years 7 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
125
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...