Login / Signup
Practical weak-atomicity semantics for java stm.
Vijay Menon
Steven Balensiefer
Tatiana Shpeisman
Ali-Reza Adl-Tabatabai
Richard L. Hudson
Bratin Saha
Adam Welc
Published in:
SPAA (2008)
Keyphrases
</>
formal semantics
programming language
open source
source code
logic programming
electronic commerce
semantic information
multidatabase systems
correctness criterion
databases
case study
data model
lightweight
database applications
development environment
transaction management