不变条件

✍ dations ◷ 2025-06-29 15:40:32 #计算机科学

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

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

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

相关

  • 索拉非尼索拉非尼(Sorafenib),商品名蕾莎瓦®(Nexavar® ) ,是美国拜耳股份有限公司的专利药,经美国食品药物管理局核可用于治疗肾细胞癌及肝癌。2012年8月1日,台湾健保局通过健保给付蕾莎
  • 高分子化合物高分子(Macromolecule)化合物是一个非常大的分子,如蛋白质,通常由较小的亚基(单体)的聚合产生。它们一般由数千或更多的原子组成。通过一定形式的聚合反应生成具有非常高的分子量
  • 隋唐隋唐(581年-907年),是对中国古代的隋朝和唐朝的合称,是经历了五胡乱华和南北朝两个漫长时期后的两个大一统皇朝。是秦汉之后中国第二次真正具有影响力的大统一,有学者认为隋唐宋构
  • 南森弗里乔夫·韦德尔-亚尔斯伯格·南森(挪威语:Fridtjof Wedel-Jarlsberg Nansen,1861年10月10日-1930年5月13日),挪威探险家、科学家、人道主义者和外交家。1922年,他因为担任国际联
  • 科里奥利效应在心理物理学中的科里奥利效应(Coriolis effect)也称为科里奥利幻觉(Coriolis illusion),是因为科里奥利力造成身体定位的错误认知,以及引发的恶心等现象。科里奥利效应是飞行员的
  • span class=nowrapEuClsub3/sub/span三氯化铕又称氯化铕(III)、氯化铕(化学式:EuCl3),是稀土金属铕(III)的氯化物。氯化铕是黄色的固体,低于或等于熔点时会分解生成氯化铕(II)(EuCl2)。它有强烈的吸水性,无水物暴露在潮
  • 布赖恩·科比尔卡布莱恩·科比尔卡(英语:Brian Kobilka,1955年5月30日-),美国斯坦福大学医学院分子和细胞生理学教授和博士。他也是ConfometRx,一家专注于G-蛋白偶联受体的生物技术公司的共同创办人
  • 兔形目兔形目(学名:Lagomorpha)是哺乳动物的一个目,有两个科:兔科(Leporidae)和鼠兔科(Ochotonidae)。兔形目是哺乳动物中一个存在谱系归置困难的目。早期它被归属到啮齿目下,构成一个超科。
  • 皮埃尔·迪昂皮埃尔·迪昂(法语:Pierre Duhem,1861年6月9日-1916年9月14日),法国物理学家、科学史家与科学哲学家。迪昂主要以其在化学热力学领域的工作、对实验非充分决定性的科学哲学探讨以
  • 尼尔帕马里县尼尔帕马里(Nilphamari District)为孟加拉国朗布尔专区辖县,为孟加拉国北部边境县份,与印度接壤;1984年自朗布尔析置。县境北与西孟加拉接壤,南与朗布尔县毗邻,东与拉尔莫尼哈德县