Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/不變條件/15743331
不變條件
鎖定
不變條件是,在程序執行過程或部分過程中,可始終被假定成立的條件。
中文名
不變條件
定 義
在程序執行過程或部分過程中,可始終被假定成立的條件
比如,循環不變條件,是指在循環開始和結束後始終成立的條件。
不變條件在邏輯推理計算機程序正確性時,特別有用。優化編譯器理論、契約式設計設計方法論及形式方法,都十分依賴於計算機程序的不變條件。
程序員往往使用斷言來現式定義不變條件。一些面向對象編程語言也有特定語法定義類不變條件。
圖集
不變條件的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:8次
歷史版本
最近更新:
lr274481343
(2023-11-06)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄