Skip to content

Verifying correct usage of atomic blocks using access permissions.

Nels E. Beckman

VenueAOOPSLA
Year2008
ProceedingsOOPSLA Companion

Browse the full OOPSLA paper archive.