ダフニ 常に新しいものを探している開発者のためのかなり新しいプログラミングコード言語...
今すぐダウンロード

ダフニ ランキングとまとめ

ダフニ タグ

プログラミング言語 コード 言語 ベリファイア コード言語 プログラム検証者

ダフニ 説明

Dafnyはプログラム検証者と一緒にプログラミング言語で開発者を提供します。 DAFNYを使用すると、プログラムを入力すると、検証者はあなたのコードがエラーのないことを確認します。 DAFNY自体は次のような影響を及ぼします。 ・ユークリッド（プログラムが検証される言語を設計することの考え方から） ・エッフェル（組み込みの契約の特徴と同じ） ・CLU（そのイテレータと同様に、outパラメータ構文の象嵌） ・JavaとC＃（クラスのように、DAFNYはサブクラス化をサポートしていません） ・ML（モジュールシステムとその関数と誘導データ型と同様ですが、DAFNYは高次機能をサポートしていません） ・COQ（共同誘導データ型を含み、誘導性および共同誘導性証明書を書くことができるように）

ダフニ 関連ソフトウェア