"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 の 詳…