Skip to content

Improving the Java memory model using CRF.

Jan-Willem Maessen, Arvind, Xiaowei Shen

VenueAOOPSLA
Year2000
ProceedingsOOPSLA

Browse the full OOPSLA paper archive.