Sciweavers

Share
CONCUR
2008
Springer

A Model of Dynamic Separation for Transactional Memory

8 years 4 months ago
A Model of Dynamic Separation for Transactional Memory
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We provide a precise formulation of dynamic separation and compare it with other programming disciplines. Furthermore, exploiting dynamic separation, we investigate some possible implementations of the calculus and we establish their correctness.
Martín Abadi, Tim Harris, Katherine F. Moor
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where CONCUR
Authors Martín Abadi, Tim Harris, Katherine F. Moore
Comments (0)
books