todo:
Rust language, Prusti verifier, astrauskas:oopsla:2019
Notes related to Ownership types
Papers related to Ownership types
- You can't spell trust without Rust [beingessner:msc:2015]
- Ownership types for flexible alias protection [clarke:oopsla:1998]
- Ownership is theft: Experiences building an embedded OS in Rust [levy:plos:2015]
- RefinedC: Automating the foundational verification of C code with refined ownership types [sammler:pldi:2021]
- Region-based memory management [tofte:inco:1997]
- Alias types for recursive data structures [walker:tic:2001]
- GhostCell: Separating permissions from data in Rust [yanovski:unknown:2021]