「構文と意味」の意味。
手続きがどんなものであるかってこと。

操作的意味論的に言えば、手続きがどんな風に動作するかってこと。