不变条件

✍ dations ◷ 2025-04-12 04:59:59 #计算机科学

在计算机科学中,不变条件是指,在程序执行过程或部分过程中,可始终被假定成立的条件。比如,循环不变条件是指在循环开始和结束后始终成立的条件。

不变条件在逻辑推理计算机程序正确性时,特别有用。优化编译器理论、契约式设计设计方法论及形式方法,都十分依赖于计算机程序的不变条件。

程序员往往使用断言来现式定义不变条件。一些面向对象编程语言也有特定语法定义类不变条件。

相关

  • 希腊化时代希腊化时代(英语:Hellenistic period)在亚历山大征服波斯帝国之后不久开始。通常起始点视为亚历山大大帝于公元前323年逝世开始,并结束于罗马共和国在前146年征服希腊本土,或前30
  • 系统性红斑狼疮全身性红斑狼疮(systemic lupus erythematosus,简称SLE)又称系统性红斑狼疮,是一种慢性的自体免疫性疾病。乃身体因不知明原因,促使免疫系统产生自身抗体攻击自身细胞和组织,导致
  • 波音747波音747,又称为“珍宝客机”(Jumbo Jet)亦是全世界首款生产出的宽体民用飞机,由美国波音民用飞机集团制造。波音747雏型的大小是1960年代被广泛使用的波音707的两倍,飞机翼展比莱
  • 斯克尔索普彼得·乔舒亚·斯克尔索普,AO,OBE(英语:Peter Joshua Sculthorpe,1929年4月29日-2014年8月8日),澳大利亚作曲家。生于塔斯马尼亚岛的朗塞斯顿,7岁起写作音乐。早年曾在澳大利亚本土学
  • 多道睡眠描记睡眠多项生理检查(英语:Polysomnography),缩写为PSG,是睡眠医学(英语:Sleep medicine)、睡眠障碍、打鼾、癫痫、睡眠呼吸中止症等,有关睡眠的疾病当中,最常被安排进行的标准生理诊断方
  • 母亲简称母,或称妈妈,是一种亲属关系的称谓,是子女对双亲中的女性的称呼。母亲和子女是重要的直系亲属关系之一,通常具有亲密关系。一般指生育小孩的女人(即生母);但在有些状况下,仅
  • 原始蒙古语古代蒙古语(英语:Proto-Mongolic language),又译为原始蒙古语、原型蒙古语、蒙古祖语,是一种祖语,是历史语言学假定的今天蒙古语族各个语言(如蒙古语、达斡尔语、保安语、东乡语等)
  • 虾米音乐虾米音乐是中国一个的以提供MP3格式音乐的推荐、发布、P2P下载服务,以及线下音乐活动等互动内容的网站。2013年被阿里巴巴集团全资收购,现时为阿里巴巴旗下网站。2019年,与广洲
  • 异丁醇异丁醇(IUPAC名:2-甲基-1-丙醇)(2-Methyl-1-Propanol) 是一种无色易燃,有特殊气味的有机化合物。其异构体为正丁醇、仲丁醇和叔丁醇。它被列为醇类,因此,它被广泛用作化学反应的溶
  • 实体完整性实体完整性(英语:Entity integrity)是关系模型中数据库完整性三项规则的其中之一。实体完整性这项规则要求每个数据表都必须有主键,而作为主键的所有字段,其属性必须是独一及非空