least fixpoint

least fixpoint 基本解释

网络  最小不动点

计算机

重点词汇

• leastn. 最少, 最小, 最小限度 a. 最少的, 最小的 adv. 最小, 最少
• fixpoint[计] 不动点

least fixpoint 双语例句

1. 1、 The paper gives a model quasi-WHILE statement and its termination characteristics, introduces briefly the theory of least fixpoint, and discusses proof of the loop termination by combining with loop-like functions.
   本文分析了循环终止性的特点，给出了实WHILE语句模型，简要地叙述了最小不动点理论，并结合到实循环函数上讨论了终止性的证明。
2. 2、 An approach of least fixpoint to the proof of loop termination
   关于循环终止性证明的一种最小不动点方法