Sciweavers

ECOOP   2008 European Conference on Object-Oriented Programming
Wall of Fame | Most Viewed ECOOP-2008 Paper
ECOOP
2008
Springer
14 years 15 days ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source166
2Download preprint from source156
3Download preprint from source154
4Download preprint from source151
5Download preprint from source146
6Download preprint from source145
7Download preprint from source144
8Download preprint from source137
9Download preprint from source136
10Download preprint from source136
11Download preprint from source135
12Download preprint from source133
13Download preprint from source129
14Download preprint from source127
15Download preprint from source127
16Download preprint from source124
17Download preprint from source122
18Download preprint from source120
19Download preprint from source118
20Download preprint from source111
21Download preprint from source109
22Download preprint from source103
23Download preprint from source103
24Download preprint from source100
25Download preprint from source98
26Download preprint from source93
27Download preprint from source92
28Download preprint from source88
29Download preprint from source83
30Download preprint from source82
31Download preprint from source78