维基百科
不变条件, 本條目存在以下問題, 請協助改善本條目或在討論頁針對議題發表看法, 此條目需要擴充, 2013年9月1日, 请協助改善这篇條目, 更進一步的信息可能會在討論頁或扩充请求中找到, 请在擴充條目後將此模板移除, 此條目没有列出任何参考或来源, 2013年9月1日, 維基百科所有的內容都應該可供查證, 请协助補充可靠来源以改善这篇条目, 无法查证的內容可能會因為異議提出而移除, 在计算机科学中, 是指, 在程序执行过程或部分过程中, 可始终被假定成立的条件, 比如, 循环是指在循环开始和结束后始终成立的条件,. 本條目存在以下問題 請協助改善本條目或在討論頁針對議題發表看法 此條目需要擴充 2013年9月1日 请協助改善这篇條目 更進一步的信息可能會在討論頁或扩充请求中找到 请在擴充條目後將此模板移除 此條目没有列出任何参考或来源 2013年9月1日 維基百科所有的內容都應該可供查證 请协助補充可靠来源以改善这篇条目 无法查证的內容可能會因為異議提出而移除 在计算机科学中 不变条件是指 在程序执行过程或部分过程中 可始终被假定成立的条件 比如 循环不变条件是指在循环开始和结束后始终成立的条件 应用 编辑不变条件在逻辑推理计算机程序正确性时 特别有用 优化编译器理论 契约式设计设计方法论及形式方法 都十分依赖于计算机程序的不变条件 程序员往往使用断言来现式定义不变条件 一些面向对象编程语言也有特定语法定义类不变条件 参考 编辑 取自 https zh wikipedia org w index php title 不变条件 amp oldid 55457349, 维基百科，wiki，书籍，书籍，图书馆，