Computing Semantics for the Fixed Point of Programs

Ding Zhiyi,Wu Qingtao,Song Guoxin,Shao Zhiqing
DOI: https://doi.org/10.3969/j.issn.0253-2328.2007.03.012
2007-01-01
Abstract: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.
What problem does this paper attempt to address?