|
|||||
|
|
| 接续到直接的指称语义转换 | |
| 引用本文： | 吕江花,马世龙,潘静,金成植.接续到直接的指称语义转换[J].计算机研究与发展,2006,43(7):1304-1308. |
| 作者姓名： | 吕江花 马世龙 潘静 金成植 |
| 作者单位： | 1. 北京航空航天大学,软件开发环境国家重点实验室,北京,100083<<吉林大学,大学,计算机科学与技术学院,长春,130012 2. 北京航空航天大学,软件开发环境国家重点实验室,北京,100083 3. 北京科技大学,管理学院,北京,100083 4. 吉林大学,大学,计算机科学与技术学院,长春,130012 |
| 基金项目： | 科技部科研项目;中国博士后科学基金 |
| 摘 要： | 接续和直接指称语义之间的转换的主要难点在于不保函数基调．基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术，分别考虑了接续函数在不同情形下的处理．最后给出了转换算法的Haskell实现系统，验证了转换的可行性． |
| 关 键 词： | 指称语义 接续函数 基调 语义转换 |
| 收稿时间： | 01 28 2005 12:00AM |
| 修稿时间： | 2005-01-282005-12-28 |
Denotational Semantics Transform from Continuation to Direct |
|
| Lü Jianghua,Ma Shilong,Pan Jing,Jin Chengzhi.Denotational Semantics Transform from Continuation to Direct[J].Journal of Computer Research and Development,2006,43(7):1304-1308. | |
| Authors: | Lü Jianghua Ma Shilong Pan Jing Jin Chengzhi |
| Affiliation: | 1 National Laboratory of Software Development Environment, Beihang University, Beijing 100083; 2 College of Computer Science and Technology, Jilin University, Changchun 130012 ; 3 School of Management, University of Science and Technology Beijing, Beijing 100083 |
| Abstract: | The key of semantic transform is the discord of semantics functions' signature. A denotational semantics transform technology from continuation to direct is given based on the analysis between the two in the early research, and here continuations in different context are handled differently. Finally, the implementation system is described in Haskell, which tests the feasibility of the transform method. |
| Keywords: | denotational semantics continuation signature semantics transform |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |