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...

詳細記述

書誌詳細

主要な著者:	Kan, Shuanglong, Chen, Zhe, Sanan, David, Lin, Shang-Wei, Liu, Yang
フォーマット:	論文
出版事項:	2018
主題:	Programming Languages
オンライン･アクセス:	https://arxiv.org/abs/1804.07608 http://arxiv.org/abs/1804.07608
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!