Hoare logic
構造化プログラミング - 公理的意味論 - プログラム検証
第一階述語論理 - 自然演繹
Pascal
Communicating Sequential Processes
Blaise Pascal
1623年 - 1662年
フランスの科学者、思想家
パスカル (単位)
Pascal (プログラミング言語)
最も一般的なパラダイム
ノイマン型コンピュータが、その計算モデルである
命令(つまり代入文)の繰り返しにより、変数の値(「状態」 という)を動的に変化させ、計算を行う
変数と変数への代入 (代入型言語ともいう)
変数と変数の構造