内存模型的验证论文阅读

动态验证

Hangal2004

Manovit 2005

Manovit 2006

Roy 2006

Chen 2008

静态验证

Park 1995

Condon 1999

Chatterjee2002

Condon 2001

comments powered by Disqus