fixed point semantics
不动点语义
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
youdao
应用推荐
模块上移
模块下移
不移动