Formal reasoning about concurrent assembly code with reentrant locks

标题	Formal reasoning about concurrent assembly code with reentrant locks
Publication Type	Conference Paper
Year of Publication	2009
Authors	Fu, M, Zhang Y, Li Y
Conference Name	3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2009)
Date Published	07/2009
Conference Location	Tianjin, China
关键词	concurrent separation logic, program logic, reentrant locks, safety

附件	大小
tase2009.pdf	89.95 KB
impl.rar	50.53 KB

语言