AtomCaml

swMATH22682MaRDI QIDQ34473FDOQ34473

Author name not available (Why is that?)

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

Described by source

• AtomCaml: first-class atomicity via rollback

Cited In (8)

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

This page was built for software: AtomCaml