FIXED-POINTS OF INCREASING FUNCTIONS

被引：1

作者：

HOARE, CAR ^{[1
]}

机构：

[1] UNIV TEXAS,AUSTIN,TX 78712

来源：

INFORMATION PROCESSING LETTERS | 1990年 / 34卷 / 03期

关键词：

fixed points; Increasing functions; parallel composition; sequential composition; UNITY;

D O I：

10.1016/0020-0190(90)90087-E

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

If d and e are increasing functions in a partial order, then the fixed points on their functional composition (d {ring operator} e) are just the points that are fixed for both d and e. The same is true of a form of parallel composition (fx V gx), using the least upper bound V in the partial order. This fact may be useful in cases when fixed points are computed by iteration, with arbitrary mixture of sequential and parallel composition. © 1990.

引用

页码：111 / 112

页数：2