Analysing Java's safety guarantees under concurrency.
Andreas LochbihlerPublished in: it Inf. Technol. (2014)
Keyphrases
- object oriented languages
- object oriented
- concurrency control
- source code
- open source
- java programs
- transaction processing
- database systems
- lightweight
- nested transactions
- database applications
- programming language
- java applets
- database programming
- java virtual machine
- data flow
- byte code
- multi threaded
- sun microsystems
- concurrency control protocols
- theoretical guarantees
- distributed databases
- web applications
- wireless sensor networks
- data model
- data structure