Map
Index
Random
Help
th

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

QuoteRef: naikM1_2007 , p. abstract



Topic:
race conditions
Topic:
aliasing

Quotation Skeleton

The heart of a proof of race freedom … [for multi-threaded programs] … also distinct. This is an example of a … aliased, prove that two other objects are not … results for sound race detection of Java programs. … [p. 335] Our new algorithm found a total of … [from our earlier race checker] finds only 122, showing that our sound system can find …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

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

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.