プログラム意味論

表示的意味論:

操作的意味論

公的意味論