Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
The Rust programming language continues to rise in popularity, and as such, warrants the close attention of the programming languages community. In this work, we present a new foundational contribution towards the theoretical understanding of Rust's semantics. We prove that LLBC, a high-level, borro...
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்கள்: | , , |
|---|---|
| வடிவம்: | கட்டுரை |
| வெளியிடப்பட்டது: |
2024
|
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://arxiv.org/abs/2404.02680 http://arxiv.org/abs/2404.02680 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|