A Pointer Logic for Verification of Pointer Programs
Mon, 08/17/2009 - 13:32 — nate
| Title | A Pointer Logic for Verification of Pointer Programs |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Chen, Y, Li Z, Wang Z, Hua B |
| Journal | Chinese Journal of Software |
| Volume | Vol.21 |
| Start Page | 124 |
| Issue | No.3 |
| Pagination | 124-137 |
| Date Published | 03/2010 |
| Keywords | certifying compiler, Hoare logic, Pointer Logic, proof-carrying code, Software safety |
| Attachment | Size |
|---|---|
| chen09jos.pdf | 313.82 KB |