Publications

Improving the java memory model using CRF

• • Jan-Willem Maessen
  • Arvind
  • et al.
• 2000
• SIGPLAN Notices (ACM Special Interest Group on Programming Languages)