本文给出了一个只需要连续domain本身性质的子domain的内蕴定义,并证明它与传统的用连续映射定义的子domain的等价性。同时讨论了......

Domain理论是计算机程序设计语言的指称语义学的数学基础.它的基本特征是序与拓扑相互结合、相互作用.正是这一特征使Domain理论成......

1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......

Domain结构的表示是Domain理论的一个热点研究方向,其目的是用相对具体或简单的数学结构来表示相对抽象的domain结构.常用于表示do......

Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......

自从20世纪70年代D.S.Scott首次提出Domain概念以来，Domain理论受到众多数学家和理论计算机科学家的关注.1983年，作为连续Domain和广......