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...
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Artikel |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2310.20430 http://arxiv.org/abs/2310.20430 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|