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

Descripción completa

Detalles Bibliográficos

Autores principales:	Kan, Shuanglong, Chen, Zhe, Sanan, David, Lin, Shang-Wei, Liu, Yang
Formato:	Artículo
Publicado:	2018
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/1804.07608 http://arxiv.org/abs/1804.07608
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!