抽象性・公理性の高い数学を具体的に，実用性を尊重して執筆された“使える”数学書。

Fortran，Pascal，Cなどの手続き型プログラム言語のコンパイラの理論と実際を示した教科書。