Hoare logic
Synonym of microtheory
(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.
present participle of aggest
(role-playing games) Initialism of experience point. / Initialism of expiry date.
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
