Languages

On the verification of strong atomicity of programs using STM

TitleOn the verification of strong atomicity of programs using STM
Publication TypeConference Paper
Year of Publication2009
AuthorsLi Y, Zhang Y, Chen Y, Fu M
Conference Name3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009)
Date Published07/2009
Conference LocationShanghai, China
Keywordsproofcarrying code, strong atomicity, transactional memory
AttachmentSize
SSIRI2009.pdf269 KB
coq-impl.rar54.34 KB