Dom ain理论中的映射

作     者：陈仪香 

作者机构：上海师范大学数理信息学院上海200234 

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

出 版 物：《模糊系统与数学》 (Fuzzy Systems and Mathematics)

年 卷 期：2002年第16卷第4期

页      码：1-11页

摘      要：Domain理论的目的是为程序设计语言提供数学语义模型 ,信息状态域的指称称为 Domain,而程序的指称是 Domain间的映射。本文主要介绍 Domain理论中的三类重要映射—— Scott连续映射、Berry的稳定映射以及 CM映射的定义以及等价刻画和表示。

主 题 词：Domain理论 Scott连续映射 稳定映射 程序设计语言 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-7402.2002.04.001

馆 藏 号：203274874...