Sciweavers

2 search results - page 1 / 1
» Safe Commits for Transactional Featherweight Java
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 10 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
15 years 3 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