大きな全体のプログラムを細かい部品に分けていく

この細かい部品の性質を観察すれば、全体のプログラムの性質を導くことが出来る

細かい基礎的な部品からプログラムの意味を帰納的に導くことができる

意味論における合成性

文全体の意味は、「部分」の意味の合成によって得られる