web archive

"On the Application of Program Analysis and Transformation to High Reliability Electronics" (Apr 2006)
http://findatlantis.com/sjtthesis.pdf (pdf.file 231p)
( via http://findatlantis.com/wiki/ )
S. Thompson の Ph.D 学位請求論文。
cpu の 詳しい 働きについて *1 知りたい人には 最適だと 思う。 数式の ところが わからなくても、そう 気にすることも ないです。
時間を かけて 読んでいけば、プログラムの 理解にも 役だつのでは、と 考えて 紹介。

*1:それだけでは ないけど