Tasty » Adam Sampson's separation-logic bookmarks

Reasoning About the Heap in Rust edit / delete

Quote: "it's still worth applying Separation logic to get a feel for what's happening to the heap". I'm kind of impressed that the Rust designers have managed to come up with a design for reference types that's *more* complex than C++'s.

to formal-methods language-design memory reference rust separation-logic ... on 03 May 2014