SIGSOFT   2006 Foundations of Software Engineering
Wall of Fame | Most Viewed SIGSOFT-2006 Paper
11 years 11 months ago
Bit level types for high level reasoning
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
Ranjit Jhala, Rupak Majumdar
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 source186
2Download preprint from source182
3Download preprint from source169
4Download preprint from source163
5Download preprint from source158
6Download preprint from source150
7Download preprint from source148
8Download preprint from source147
9Download preprint from source145
10Download preprint from source129
11Download preprint from source128
12Download preprint from source127
13Download preprint from source126
14Download preprint from source124
15Download preprint from source124
16Download preprint from source118
17Download preprint from source117
18Download preprint from source115
19Download preprint from source108
20Download preprint from source103
21Download preprint from source97
22Download preprint from source95
23Download preprint from source86
24Download preprint from source84