Languages

A Pointer Logic for Verification of Pointer Programs

TitleA Pointer Logic for Verification of Pointer Programs
Publication TypeJournal Article
Year of Publication2010
AuthorsChen Y, Li Z, Wang Z, Hua B
JournalChinese Journal of Software
VolumeVol.21
Start Page124
IssueNo.3
Pagination124-137
Date Published03/2010
Keywordscertifying compiler, Hoare logic, Pointer Logic, proof-carrying code, Software safety
AttachmentSize
chen09jos.pdf313.82 KB