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...
שמור ב:
| Autores principales: | , , , , |
|---|---|
| פורמט: | Artículo |
| יצא לאור: |
2023
|
| נושאים: | |
| גישה מקוונת: | https://arxiv.org/abs/2310.20430 http://arxiv.org/abs/2310.20430 |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|