Differences between revisions 12 and 13
Revision 12 as of 2011-02-07 14:29:21
Size: 1130
Editor: viktor
Comment:
Revision 13 as of 2011-02-07 14:31:05
Size: 1155
Editor: viktor
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
= Star wiki = = Separation logic & local reasoning =

Separation logic & local reasoning

This is a wiki about separation logic, an extension of Hoare's logic oriented to reasoning about mutable data structures (or, programs with dynamically allocated pointers). Separation logic supports local reasoning, where specifications and proofs concentrate on the portion of memory used by a program component, and not the entire global state of the system.

Table of Contents

Editing the wiki

To edit the wiki, you first have to create an account and contact Viktor Vafeiadis to grant you write permission. Then, login and click on the "Edit" link to modify a page.

FrontPage (last edited 2013-04-18 12:27:53 by draufer)