カテゴリー: SPARK Language

現在の SPARK 2014 は，Ada言語のサブセットです．しかし，別の言語として考えることが望ましそうです1．それは，プログラムの正しさを示す言語として，捉えるべきと云うことになります． プログラムの正しさを示そうと...