KRust: A Formal Executable Semantics of Rust

Article URL: https://arxiv.org/abs/1804.10806

Comments URL: https://news.ycombinator.com/item?id=16970050

Points: 124

# Comments: 25

from Hacker News: Front Page https://ift.tt/2HHi7FB
via