On the verification of strong atomicity of programs using STM

标题	On the verification of strong atomicity of programs using STM
Publication Type	Conference Paper
Year of Publication	2009
Authors	Li, Y, Zhang Y, Chen Y, Fu M
Conference Name	3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009)
Date Published	07/2009
Conference Location	Shanghai, China
关键词	proofcarrying code, strong atomicity, transactional memory

附件	大小
SSIRI2009.pdf	269 KB
coq-impl.rar	54.34 KB

语言