Borrowable Fractional Ownership Types for Verification
Automated verification of functional correctness of imperative programs with references (a.k.a. pointers) is challenging because of reference aliasing. Ownership types have recently been applied to address this issue, but the existing approaches were limited in that they are effective only for a cla...
சேமிக்கப்பட்டது:
| முதன்மை ஆசிரியர்கள்: | , , , , |
|---|---|
| வடிவம்: | கட்டுரை |
| வெளியிடப்பட்டது: |
2023
|
| பொருள்கள்: | |
| ஆன்லைன் அணுகல்: | https://arxiv.org/abs/2310.20430 http://arxiv.org/abs/2310.20430 |
| குறிச்சொற்கள்: |
டாக்ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!
|