「意味論」とか言われちゃうとなんか大袈裟だが、要するに
(1 * (2 + 3)) だったら 2 + 3 を「先に計算する」とかそういう話。

プログラムとは何か、ということを考えるとき、非常におおまかに
「構文」と「意味」に分けられて、「構文」というのは、どんな字面を
しているか、という話で、「意味」というのは、それがどういう動作に
なるか、という話、という、

それぐらいの内容。