聲音借用-通過符號語義檢查 Rust

https://arxiv.org/abs/2404.02680

這項研究探討了 Rust 程式語言的語義理論基礎,證明了一種高層次的借用中心模型對於低層次指標型語言的聲音性。引入了新的證明風格,並展示了對於 LLBC 符號語意的新加入如何擴充了 Aeneas 框架的表現力。

via cs updates on arXiv.org

April 4, 2024 at 02:24PM

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *