SPARK言語
Warning: Trying to access array offset on value of type bool in /home/nil0/ada.jp/public_html/wp/wp-content/plugins/footnotation/footnotation.php on line 193
Warning: Trying to access array offset on value of type bool in /home/nil0/ada.jp/public_html/wp/wp-content/plugins/footnotation/footnotation.php on line 193
Warning: Trying to access array offset on value of type bool in /home/nil0/ada.jp/public_html/wp/wp-content/plugins/footnotation/footnotation.php on line 193
Warning: Trying to access array offset on value of type bool in /home/nil0/ada.jp/public_html/wp/wp-content/plugins/footnotation/footnotation.php on line 193
現在の SPARK 2014 は，Ada言語のサブセットです．しかし，別の言語として考えることが望ましそうです1．それは，プログラムの正しさを示す言語として，捉えるべきと云うことになります． プログラムの正しさを示そうと...