A specification-based approach to reasoning about pointers.
This paper explains how a uniform, specification-based approach to reasoning about component-based programs can be used to reason about programs that manipulate pointers. No special axioms, language semantics, global heap model, or proof rules for pointers are necessary. We show how this is possible...
| Xuất bản năm: | Software engineering notes. 31, 2 (2006). |
|---|---|
| Tác giả chính: | |
| Định dạng: | Bài viết |
| Ngôn ngữ: | English |
| Những chủ đề: |