Verifying Dynamic Trait Objects in Rust (2022) - discu.eu

Hacker News

Verifying Dynamic Trait Objects in Rust (2022) https://dl.acm.org/doi/pdf/10.1145/3510457.3513031 7 comments 16/5/2023

Linking pages

Counterexamples in Safe Rust | Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops https://dl.acm.org/doi/abs/10.1145/3691621.3694943 20 comments

Related searches:

Search whole site: site:dl.acm.org

Search title: Verifying Dynamic Trait Objects in Rust (2022)

See how to search.

Submit link to: