×

使用信息系统有效地求解递归区域方程。 (英语) Zbl 0539.68019号

数据类型语义,Proc。内部Symp。,Sophia-Antipolis/法国1984年,Lect。注释计算。科学。173, 109-129 (1984).
[关于整个系列,请参见Zbl 0534.00019号.]
本文旨在做出两个主要贡献。一个是展示如何利用斯科特信息系统的具体性质来解决递归域方程。该方法基于信息系统之间的子结构关系。这基本上构成了信息系统的完整偏序(cpo)。在这个cpo上可以使标准域构造(如函数空间)连续,因此递归域方程的解可以简化为更常见的构造,即形成连续函数的最小不动点。第二个贡献再次依赖于信息系统的具体性质,这一次发展了有效给定信息系统的基本理论,对有效给定的领域进行了简单的处理。

MSC公司:

68问题65 抽象数据类型;代数规范
03D45号 计算理论,有效呈现结构