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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to separation-logic

- separation-logic
1 + formal-methods
1 + language-design
1 + memory
1 + reference
1 + rust