jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
Mateusz UjmaNastaran ShafieiPublished in: CoRR (2012)
Keyphrases
- programming language
- open source
- development environment
- source code
- object oriented
- web services
- java programs
- data model
- concurrent programming
- database applications
- web applications
- search algorithm
- lightweight
- database systems
- database programming
- high level
- mutual exclusion
- object oriented languages
- hierarchical reinforcement learning
- runtime environment
- information systems