Sciweavers

7 search results - page 1 / 2
» Java Finalize Method, Orthogonal Persistence and Transaction...
Sort
View
POS
1998
Springer
13 years 9 months ago
Java Finalize Method, Orthogonal Persistence and Transactions
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
John N. Zigman, Stephen Blackburn
POS
2000
Springer
13 years 8 months ago
Implementing Orthogonally Persistent Java
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
Alonso Marquez, Stephen Blackburn, Gavin Mercer, J...
POS
1998
Springer
13 years 9 months ago
Concurrency - The Fly in the Ointment?
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
Stephen Blackburn, John N. Zigman
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
FM
2001
Springer
99views Formal Methods» more  FM 2001»
13 years 9 months ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...