|
|||||
|
|
| 接续到直接的指称语义转换 | |
| 引用本文： | 吕江花, 马世龙, 潘 静, 金成植. 接续到直接的指称语义转换[J]. 计算机研究与发展, 2006, 43(7): 1304-1308. |
| 作者姓名： | 吕江花 马世龙 潘静 金成植 |
| 作者单位： | 1. 北京航空航天大学,软件开发环境国家重点实验室,北京,100083<<吉林大学,大学,计算机科学与技术学院,长春,130012 2. 北京航空航天大学,软件开发环境国家重点实验室,北京,100083 3. 北京科技大学,管理学院,北京,100083 4. 吉林大学,大学,计算机科学与技术学院,长春,130012 |
| 基金项目： | 科技部科研项目;中国博士后科学基金 |
| 摘 要： | 接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性. |
| 关 键 词： | 指称语义 接续函数 基调 语义转换 |
| 收稿时间： | 2005-01-28 |
| 修稿时间： | 2005-01-282005-12-28 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机研究与发展》浏览原始摘要信息 | |
| 点击此处可从《计算机研究与发展》下载免费的PDF全文 | |