Sciweavers

2 search results - page 1 / 1
» Safe Commits for Transactional Featherweight Java
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
13 years 3 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
ICCL
1998
IEEE
13 years 9 months ago
Transactions for Java
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
Alex Garthwaite, Scott Nettles