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...
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Articolo |
| Pubblicazione: |
2018
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/1804.07608 http://arxiv.org/abs/1804.07608 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|