Hoare triple
(Scouting, US) The final approval process for rank advancement to any specific rank in the Boy Scouts of America that is meant to ensure that a Scout has indeed met all the requirements for that ra...
(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards.
One who opposes, one who shows opposition.
Alternative form of hegumen (“head of a monastery”)
プログラムを検証する前に、必要な初期条件と終了条件をとらえるため、その仕様をホア論理における命令・事前条件・事後条件からなる三つ組として表現しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
