Sciweavers

Share
ESOP   2010 European Symposium on Programming
Wall of Fame | Most Viewed ESOP-2010 Paper
ESOP
2010
Springer
9 years 5 months ago
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
Keiko Nakata and Tarmo Uustalu
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 source279
2Download preprint from source219
3Download preprint from source217
4Download preprint from source195
5Download preprint from source189
6Download preprint from source184
7Download preprint from source178
8Download preprint from source177
9Download preprint from source176
10Download preprint from source174
11Download preprint from source169
12Download preprint from source168
13Download preprint from source167
14Download preprint from source160
15Download preprint from source157
16Download preprint from source157
17Download preprint from source155
18Download preprint from source150
19Download preprint from source150
20Download preprint from source148
21Download preprint from source148
22Download preprint from source144
23Download preprint from source142
24Download preprint from source130
25Download preprint from source128
26Download preprint from source126
27Download preprint from source120
28Download preprint from source118
29Download preprint from source115
30Download preprint from source114
31Download preprint from source109
books