Dom ain理论中的映射  

Functions in Domain Theory

作　　者：陈仪香[1] 

机构地区：[1]上海师范大学数理信息学院,上海200234

出　　处：《模糊系统与数学》2002年第4期1-11,共11页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目 (6 98730 34);教育部高等学校骨干教师资助计划;上海市教育发展基金曙光计划资助项目 (98SG46 );上海市教委重点项目基金 (0 2 DZ46 )

摘　　要：Domain理论的目的是为程序设计语言提供数学语义模型 ,信息状态域的指称称为 Domain,而程序的指称是 Domain间的映射。本文主要介绍 Domain理论中的三类重要映射—— Scott连续映射、Berry的稳定映射以及 CM映射的定义以及等价刻画和表示。The aim of domain theory is to set up the model of programming languages of computer in such a way that the denotation of data types is called as domains, and one of programs as functions between domains. This paper is mainly to introduce three classes of important functions in domain theory: Scott continuous functions, Berry's stable functions and CM functions. The author exhibits their definitions, characterizations and representations.

关 键 词：DOMAIN理论 Scott连续映射 稳定映射 程序设计语言 

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