fixpoint theory of program

  1. 程序不动点理论

网络词典

fixpoint theory of program

英 ˈfɪkspɔːnt θrəʊˈdɛm 美 ˈfɪkspɔːnt θrəʊˈdɛm
名词 中文翻译:程序的固定点理论
同义词: ['programming theory of fixpoint', "fixed-point theory of program例句:1. The algorithm's efficiency is largely determined by the choice of its fixpoint.(算法的效率很大程度上取决于其固定点的选取。)2. This approach to programming can greatly improve the efficiency of the system.(这种编程方法可以大大提高系统的效率。)"]

例句:

  1. 1. The algorithm's efficiency is largely determined by the choice of its fixpoint.
    算法的效率很大程度上取决于其固定点的选取。
  2. 2. This approach to programming can greatly improve the efficiency of the system.
    这种编程方法可以大大提高系统的效率。
  3. 3. The research on the fixpoint theory has made significant contributions to the field of computer science.
    固定点理论的研究为计算机科学领域做出了重要贡献。