Cocoon:Rust 中的靜態信息流控制

https://arxiv.org/abs/2311.00097

Cocoon 是一個針對 Rust 語言的靜態型別資訊流控制(IFC)的程式庫,它利用 Rust 的型別系統和程序式巨集來建立一個有效的系統,以實現非干擾性。Cocoon 的使用會增加編譯時間,但對應用程式效能沒有影響。它可用於 Rust 的 Spotify TUI 客戶端和 Mozilla 的 Servo 瀏覽器引擎。

via cs updates on arXiv.org

March 20, 2024 at 01:54PM

發佈留言

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