Correct Refactoring of Concurrent Java Code.

Max Schäfer Julian Dolby Manu Sridharan Emina Torlak Frank Tip

Published in: ECOOP (2010)

Keyphrases

java code
source code
software systems
byte code
open source
high level
object oriented
data processing
static analysis
development tools