An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
Rust is an emergent systems programming language highlighting memory safety by its Ownership and Borrowing System (OBS). The existing formal semantics for Rust only covers limited subsets of the major language features of Rust. Moreover, they formalize OBS as type systems at the language-level, whic...
Uloženo v:
| Hlavní autoři: | , , , , |
|---|---|
| Médium: | Článek |
| Vydáno: |
2018
|
| Témata: | |
| On-line přístup: | https://arxiv.org/abs/1804.07608 http://arxiv.org/abs/1804.07608 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky: An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
- RustViz: Interactively Visualizing Ownership and Borrowing
- Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
- Borrowable Fractional Ownership Types for Verification
- Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
- Ownership guided C to Rust translation