An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1804.07608/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTAn Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing — mentioned by theoryisgoodhttps://news.ycombinator.com/item?id=16976354urn:hackerpapers:mention:1804.07608:16976354Wed, 02 May 2018 12:48:38 GMT<p>https://arxiv.org/abs/1804.07608. This is an another paper, that maybe you are interested in. Even though they have almost the same name.</p><p><a href="https://hackerpaper.kaipfister.de/p/1804.07608/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL