Th QuoteRef: naikM1

QuoteRef: naikM1_2007

Topic:
race conditions
Topic:
aliasing

Reference

Naik, M., Aiken, A., "Conditional must not aliasing for static race detection", Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Nice, France, January 2007, pp. 327-338. Google

Quotations

abstract ;;Quote: static race detection by conditional must not aliasing; sound analysis, found more races than another algorithm analysing likely races

Related Topics

Topic: race conditions (33 items)
Topic: aliasing (28 items)