函数 "F"。所以这个链的最小上界是完全定义的阶乘函数(它凑巧是全函数)。
指称语义的发展.通过研究编程语言的更精细的构造和不同的计算模型，指称语义已经发展起来了。
状态的指称语义.状态(比如堆)和命令特征可以直接用上述指称语义来建模。下面列出的所有教科书都有详情。关键想法是把命令当作在某个状态域上的偏函数。“x:=3”的指称是使一个状态成为带有 3 被赋值给 x 的状态。顺序算符“;”被指示为函数复合。不动点构造被用来给予循环构造如“while”的语义