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...
Đã lưu trong:
| Những tác giả chính: | , , , , |
|---|---|
| Định dạng: | Bài viết |
| Được phát hành: |
2023
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://arxiv.org/abs/2310.20430 http://arxiv.org/abs/2310.20430 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|