Languages

Certifying concurrent programs using transactional memory

TitleCertifying concurrent programs using transactional memory
Publication TypeJournal Article
Year of Publication2009
AuthorsLi L, Zhang Y, Chen Y, Li Y
JournalJournal of Computer Science and Technology
Volume24
Start Page110
Pagination121
Date Published01/2009
Keywordsconcurrent program safety, program verification, proof-carrying code, transactional memory
Full Text

null

AttachmentSize
jcst0901.pdf467.14 KB
impl.rar75.93 KB