Sciweavers

Share
ICFP   2005 International Conference on Functional Programming
Wall of Fame | Most Viewed ICFP-2005 Paper
ICFP
2005
ACM
9 years 9 months ago
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
Xinyu Feng, Zhong Shao
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 source321
2Download preprint from source218
3Download preprint from source211
4Download preprint from source177
5Download preprint from source166
6Download preprint from source155
7Download preprint from source152
8Download preprint from source145
9Download preprint from source145
10Download preprint from source142
11Download preprint from source139
12Download preprint from source130
13Download preprint from source127
14Download preprint from source125
15Download preprint from source125
16Download preprint from source118
17Download preprint from source117
18Download preprint from source112
19Download preprint from source112
20Download preprint from source105
21Download preprint from source104
22Download preprint from source99
23Download preprint from source95
24Download preprint from source94
25Download preprint from source93
26Download preprint from source92
27Download preprint from source92
28Download preprint from source91
29Download preprint from source90
30Download preprint from source88
31Download preprint from source86
32Download preprint from source84
33Download preprint from source76
books