Login / Signup

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs.

Matthew B. DwyerJohn Hatcliff RobbyVenkatesh Prasad Ranganath
Published in: Formal Methods Syst. Des. (2004)
Keyphrases
  • partial order
  • partially ordered
  • data mining
  • artificial intelligence
  • high level
  • total order