« 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
The Encyclopedia of Science Fiction
Terse but comprehensive.
Good-looking textbooks on electronics.
to electronics etext reference ... on 27 November 2008
« earlier | later » Page 1 of 1
| - reference | |
| 1 | electronics |
| 1 | etext |
| 1 | formal-methods |
| 1 | language-design |
| 1 | memory |
| 3 | reference |
| 1 | rust |
| 1 | separation-logic |
| 1 | sf |
tasty by Adam Sampson.