Domain理论与拓扑  

Domain Theory and Topology

作　　者：梁基华[1] 刘应明[1] 

机构地区：[1]四川联合大学数学研究所

出　　处：《数学进展》1999年第2期97-104,共8页Advances in Mathematics（China）

基　　金：国家自然科学基金;国家教委博士点基金;国家教委高等院校数学研究中心资助项目

摘　　要：Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础，序和拓扑的相互结合在这一领域中起着基本而重要的作用。本文力图从Ｄｏｍａｉｎ理论产生的背景，它在几个方面的发展，反映Ｄｏｍａｉｎ理论与拓扑的紧密联系，使我们看到序和拓扑的结合怎样应用于程序设计语言研究。Domain theory play a fundamental role in denotational semantics of program-ming languages.And it is the area that has combined order and topology for application tocomputation most effectively. In the paper, we survey some of the motivation of domain theory,outline the development on domain's some aspects and try to familize the reader with the use ofinteraction between order and topology in the study of programming languages.

关 键 词：DOMAIN理论 SCOTT拓扑 拓扑 程序设计语言 序 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] O189[自动化与计算机技术—计算机科学与技术]