« earlier | later » Page 1 of 1
Reasoning About the Heap in Rust
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
« earlier | later » Page 1 of 1
| - separation-logic | |
| 1 | formal-methods |
| 1 | language-design |
| 1 | memory |
| 1 | reference |
| 1 | rust |
| 1 | separation-logic |
tasty by Adam Sampson.