Reasoning about Java's Reentrant Locks.
Christian HaackMarieke HuismanClément HurlinPublished in: APLAS (2008)
Keyphrases
- source code
- open source
- spatial reasoning
- object oriented
- formal theory
- development environment
- database applications
- java programs
- qualitative reasoning
- concurrency control
- programming language
- artificial intelligence
- high level
- lightweight
- neural network
- java language
- fine grained
- web applications
- management system
- web services
- database access
- information systems
- cross platform
- java applets