程序不动点的直观计算意义

• 作者: 丁志义 吴庆涛 宋国新 邵志清
• 来源期刊: 宁夏大学学报（自然科学版）
• 学科: 工学
• 关键词: 指称语义 不动点 完全偏序 连续函数
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 研究专题
• 页码范围: 237-240
• 页数: 4页
• 分类号: TP301.2
• 字数: 3325字
• 语种: 中文
• DOI: 10.3969/j.issn.0253-2328.2007.03.012

摘要

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋国新	华东理工大学计算机科学与工程系	62	256	9.0	12.0
2	邵志清	华东理工大学计算机科学与工程系	90	761	14.0	24.0
3	丁志义	华东理工大学计算机科学与工程系	15	42	4.0	6.0
5	吴庆涛	华东理工大学计算机科学与工程系	8	93	4.0	8.0