Checkmate: A Generic Static Analyzer of Java Multithreaded Programs.
Pietro FerraraPublished in: SEFM (2009)
Keyphrases
- java programs
- object oriented languages
- java bytecode
- source code
- multi threaded
- multithreading
- programming language
- java language
- web services
- high level
- data acquisition
- programming environment
- object oriented programming
- parallel algorithm
- program code
- multi user
- parallel processing
- data sets
- database management systems
- distributed systems
- web applications
- domain specific
- object oriented
- databases