演繹的プログラム合成

関係的抽象化

プログラムの動作を状態間の関係によって表現する技術であり、プロパティに関する推論と正しいプログラムの合成を容易にする。

← 戻る