Ownership guided C to Rust translation
From MaRDI portal
Publication:6535702
DOI10.1007/978-3-031-37709-9_22zbMATH Open1547.68081MaRDI QIDQ6535702FDOQ6535702
Authors: Cristina David, Yijun Yu, Meng Wang 
Publication date: 1 February 2024
Cites Work
- A semantics for concurrent separation logic
- Variables as resource for shared-memory programs: semantics and soundness
- Title not available (Why is that?)
- Ownership types for object encapsulation
- Viper: A Verification Infrastructure for Permission-Based Reasoning
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Local rely-guarantee reasoning
- Implicit ownership types for memory management
- RustHorn: CHC-Based Verification for Rust Programs
- Points-to analysis with efficient strong updates
This page was built for publication: Ownership guided C to Rust translation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535702)
