纯函数式I/O的操作语义

• 作者: 孙永强 袁华强
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 函数式程序设计 I/O 操作语义
• 年，卷（期）: 1998,（11）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1009-1014
• 页数: 6页
• 分类号: TP311
• 字数: 2107字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.11.007

摘要

目前被人们广泛采用的处理函数式I/O的机制有三种:Monad,Dialogue,CPS.本文采用CCS的理论和方法,把互模拟等价作为I/O程序的相等关系,描述了这三种I/O机制的操作语义,推导出这三种I/O机制相互之间的转换关系,从而证明了这三种I/O机制在语义上是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永强	上海交通大学计算机科学与工程系	72	373	10.0	15.0
2	袁华强	湘潭大学计算机科学系	9	13	2.0	3.0