SAS   2007 International Static Analysis Symposium
Wall of Fame | Most Viewed SAS-2007 Paper
140views Formal Methods» more  SAS 2007»
9 years 8 months ago
Formalised Inductive Reasoning in the Logic of Bunched Implications
We present a framework for inductive deļ¬nitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
James Brotherston
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 source140
2Download preprint from source132
3Download preprint from source128
4Download preprint from source126
5Download preprint from source125
6Download preprint from source124
7Download preprint from source112
8Download preprint from source111
9Download preprint from source108
10Download preprint from source106
11Download preprint from source103
12Download preprint from source99
13Download preprint from source97
14Download preprint from source96
15Download preprint from source95
16Download preprint from source95
17Download preprint from source89
18Download preprint from source85
19Download preprint from source82
20Download preprint from source80
21Download preprint from source75