122 search results - page 1 / 25 » Completeness of Pointer Program Verification by Separation L... |
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
POPL
2006
ACM
14 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
ESOP
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
TASE
2008
IEEE
13 years 4 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
CSL
2004
Springer
13 years 8 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...