Domain理论中的映射

• 作者: 陈仪香
• 来源期刊: 模糊系统与数学
• 学科: 工学
• 关键词: Domain理论 Scott连续映射 稳定映射
• 年，卷（期）: 2002,（4）
• 所属期刊栏目: 模糊集理论
• 页码范围: 1-11
• 页数: 11页
• 分类号: TP312
• 字数: 8170字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2002.04.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈仪香	上海师范大学数理信息学院	10	58	3.0	7.0