Abstract
elds. We prove that programs that never suer write-key errors are exactly those that are \data race free and also those that are \correctly synchronized in the Java memory model. This 3-way equivalence is proved using Twelf.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have