标题: 最小固定点语义(least-fixed point semantics) 发信站: 南京大学小百合站 (Mon Nov 17 21:41:52 2003)
基于16个网页-相关网页
least-fixed point semantics
最小不动点语义
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动