>>866
あなたの言ってる区別は抽象レベルの違いであり、意味論が表示的か操作的
かの区別とは関係はあっても別物だろう。

操作意味論には、初期の抽象機械を用いて意味定義を与える具体的なものから、
80年代に現れ、操作意味論の復権を果たした構造操作意味論や自然意味論
（現在普通に操作意味論と言えばこれらを指す）まで、様々な抽象レベルのもの
が存在する。
表示意味論にしても同様で、プログラムを初期状態から終了状態への関数とみなす
古典的なものから、トレースを用いてより細かく実行過程を扱えるようにしたものまで
様々である。