表明 (プログラミング)
Eiffelのような言語では、表明は設計工程の一部である。CやJavaでは実行時に前提条件をチェックするだけである。いずれの場合も実行時に正当性をチェックすることができるが、ソフトウェアの開発時(デバッグ時)のみ有効化され、最終的には(ソフトウェアのリリース時には)無効化(抑止)されることが多い。