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

Computing Semantics for the Fixed Point of Programs

作　　者：丁志义[1] 吴庆涛[1] 宋国新[1] 邵志清[1] 

机构地区：[1]华东理工大学计算机科学与工程系

出　　处：《宁夏大学学报（自然科学版）》2007年第3期237-240,共4页Journal of Ningxia University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(60373075);教育部科学技术研究重点基金资助项目(01077);中科院计算机科学重点实验室基金资助项目(SYSKF0305);宁夏大学数学计算机学院科研基金资助项目(0406)

摘　　要：连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.　The fixed point of continuous function is an important content in denotational semantics,which specifies the computing properties of programs.In this paper,the intuition behind complete partial order,continuous function and fixed point are presented;the construction of the least fixed point and its approximating solution are introduced.

关 键 词：指称语义 不动点 完全偏序 连续函数 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]