KBSE   2006 Knowledge-Based Software Engineering Conference
Wall of Fame | Most Viewed KBSE-2006 Paper
13 years 11 months ago
A Portable Compiler-Integrated Approach to Permanent Checking
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
Eugen-Nicolae Volanschi
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 source142
2Download preprint from source139
3Download preprint from source138
4Download preprint from source136
5Download preprint from source128
6Download preprint from source125
7Download preprint from source122
8Download preprint from source121
9Download preprint from source120
10Download preprint from source118
11Download preprint from source118
12Download preprint from source115
13Download preprint from source112
14Download preprint from source111
15Download preprint from source109
16Download preprint from source107
17Download preprint from source103
18Download preprint from source102
19Download preprint from source101
20Download preprint from source100
21Download preprint from source95
22Download preprint from source81
23Download preprint from source74
24Download preprint from source74