Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct Full Written Papers Refereed uri icon

Overview

Time

Date/time value

  • 2015

Identity

Digital Object Identifier (DOI)

  • 10.1145/2811681.2811694

International Standard Book Number (ISBN) 13

  • 9781450337960

Additional Document Info

Parent Title

  • ACM International Conference Proceeding Series

Volume

  • 28-September-2015

Publisher

  • publisher