SAS   2005 International Static Analysis Symposium
Wall of Fame | Most Viewed SAS-2005 Paper
162views Formal Methods» more  SAS 2005»
13 years 11 months ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies
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.
1Download preprint from source162
2Download preprint from source135
3Download preprint from source134
4Download preprint from source132
5Download preprint from source127
6Download preprint from source118
7Download preprint from source117
8Download preprint from source114
9Download preprint from source99
10Download preprint from source96
11Download preprint from source92
12Download preprint from source91
13Download preprint from source84
14Download preprint from source84