Tanaka-Ishii presents a semiotic analysis of computer programs along three axes: models of signs, kinds of signs, and systems of signs. Because computer programs are well defined and rigid, applying semiotic theories to them will help to reorganise the semiotic theories themselves. Semiotic discussion of programming theory can provide possible explanations for why programming has developed as it has and how computation is fundamentally related to...