Specifying Correct Protocols of Multithreaded Java-like Programs.
Clément HurlinPublished in: Software Engineering Research and Practice (2008)
Keyphrases
- java programs
- object oriented languages
- multithreading
- programming language
- java bytecode
- multi threaded
- java language
- database applications
- multi user
- source code
- object oriented
- computer programs
- programming environment
- communication protocol
- mutual exclusion
- open source
- development environment
- parallel programming
- lightweight
- program execution