N迭代循环的指称语义

Question

我必须找到 While 语言的扩展，如 Nielson＆Nielson 书中所描述的那样，其中包括N个迭代循环。这不是带有计数器的for循环，而是如果n是大于0的整数，则该循环将执行给定语句n次。

我在查找结构和自然操作语义方面没有问题，但是在指称语义中找不到任何针对定点问题的功能。

我是计算机科学的本科生。