Back to Results
First PageMeta Content
Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Procedural programming languages / High-level programming languages / Object-oriented programming / Immutable object / This / Rust / Const


KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018
Add to Reading List

Document Date: 2018-04-30 20:45:20

Open Document

File Size: 179,74 KB

Share Result on Facebook