「"input assertion"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

When proving this program correct the input assertion may be assumed for the initial value of N, N0. 例文帳に追加

このプログラムが正しいと証明する時は、入力表明はNの初期値N0の代わりに仮定されよう。 - コンピューター用語辞典

Partial correctness of a program S with respect to input assertion p and output assertion q is usually denoted: ... 例文帳に追加

入力表明pと出力表明qに関するプログラムSの部分的正確性は、通常...のように示される。 - コンピューター用語辞典

Whenever the call of a predicate satisfies the input assertion, then the call instantiated by any computed answer substitution satisfies the output assertion. 例文帳に追加

述語の呼び出しが入力表明を満足するときはいつでも、計算された答えの代入によって例示される呼び出しは出力表明を満足する。 - コンピューター用語辞典