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
|
| Предметы: | |
| Online-ссылка: | https://arxiv.org/abs/2310.20430 http://arxiv.org/abs/2310.20430 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|