KeyLang

postcondition

複数:
postconditions
意味・定義
2つの辞書から2件の定義

AIによる解説

1
1プログラミングで、関数やメソッドの実行後に保証される条件。契約プログラミングで重要な概念。

In programming, a condition guaranteed after a function or method executes. An important concept in design by contract.

ライセンス: KeyLang Original

例文
この単語を含む例文でタイピング練習ができます

The postcondition ensures the result is always positive.

事後条件は結果が常に正であることを保証する。

-

Verify the postcondition to ensure code correctness.

コードの正確性を確保するために事後条件を検証する。

-
関連語
活用形・派生語などの関連単語
同じレベルの単語
このレベル周辺のおすすめ単語