&gt; Yes, but pure computer science is not worried about that<p>He writes in that made up assembly language <i>specifically</i> to consider efficiency and implementation concerns:<p>&quot;Expressing basic methods like algorithms for sorting and searching in machine language makes it possible to carry out meaningful studies of the effects of cache and RAM size and other hardware characteristics (memory speed, pipelining, multiple issue, lookaside buffers, the size of cache blocks, etc.) when comparing different schemes.&quot;<p>Whether he achieves that is another matter.