Concurrent Contracts for Java in JML.
Wladimir AraujoLionel C. BriandYvan LabichePublished in: ISSRE (2008)
Keyphrases
- source code
- object oriented
- open source
- programming language
- java programs
- lightweight
- database applications
- multi threaded
- database access
- real time
- byte code
- supply chain
- object oriented languages
- java applets
- concurrent programming
- java language
- development environment
- reinforcement learning
- database systems
- high level