AtomCaml

MaRDI QIDQ34473swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=1086378

Described by source

• AtomCaml: first-class atomicity via rollback

Cited in

(8)

• STMBench7
• Last-use opacity: a strong safety property for transactional memory with prerelease support
• Lee-TM
• SAMOA
• PLAN
• Guava
• JudoSTM
• Proving opacity of transactional memory with early release

This page was built for software: AtomCaml