プログラミング言語理論への招待: 正しいソフトウェアを書くために (ASCII SOFTWARE SCIENCE Language 7)

著者 : バートランド・メイヤー 酒匂寛

• アスキー (1995年9月1日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2011年6月15日]

形式言語を利用する上での準備運動だそうである。
最近、Algol60,Pascal,PL/I,Adaなどの言語の仕様を形式言語で記述してきたとのことである。それらの例を参考に、本書を読むと分かりやすいかもしれない。
本書だけを読んで、分かれと言われたら、ごめんなさいと返事をします。