プログラミング言語の表示的意味論の重要な観点として、合成性(compositionality)がある。