4224 search results - page 215 / 845 » Reasoning about Choice |
179
click to vote
CSMR
2010
IEEE
15 years 2 months ago
2010
IEEE
The existing software engineering literature has empirically shown that a proper choice of identifiers influences software understandability and maintainability. Researchers have n...
299
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
193
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
208
click to vote
ECOOP
2007
Springer
15 years 11 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...
184
click to vote
AAAI
2007
15 years 9 months ago
2007
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...