Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT.

Yue Yang Ganesh Gopalakrishnan Gary Lindstrom Konrad Slind Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. 81-95 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=81 2003 conf/charme/2003 CHARME db/conf/charme/charme2003.html#YangGLS03