| 函数式语言中的赋值语句 |
| |
| 引用本文： | 石跃祥,袁华强,孙永强,陈静. 函数式语言中的赋值语句[J]. 软件学报, 1999, 10(3): 253-256 |
| |
| 作者姓名： | 石跃祥 袁华强 孙永强 陈静 |
| |
| 作者单位： | 湘潭大学计算机科学系,湘潭,411105;湘潭大学计算机科学系,湘潭,411105;上海交通大学计算机科学与工程系,上海,200030;湘潭大学计算机科学系,湘潭,411105 |
| |
| 摘 要： | 文章探讨了怎样在纯函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作的指称语义，并用这些赋值操作定义了一个简单的命令式语言的解释程序.
|
| 关 键 词： | 纯函数式语言 赋值语句 Monads. |
| 收稿时间： | 1997-07-21 |
| 修稿时间： | 1998-04-14 |
Assignments for Pure Functional Languages |
| |
| SHI Yue-xiang,YUAN Hua-qiang,SUN Yong-qiang and CHEN Jing. Assignments for Pure Functional Languages[J]. Journal of Software, 1999, 10(3): 253-256 |
| |
| Authors: | SHI Yue-xiang YUAN Hua-qiang SUN Yong-qiang CHEN Jing |
| |
| Affiliation: | SHI Yuexiang1 YUAN Huaqiang1 SUN Yongqiang2 CHEN Jing1 1(Department of Computer Science Xiangtan University Xiangtan 411105)= 2(Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai 200030)== |
| |
| Abstract: | In this paper, the authors show that assignments can be incorporated into pure functional languages without loss of referential transparency. And the denotational semantics of these assignment operations are given. Using these assignment operations, the authors define an interpreter of a simple imperative language. |
| |
| Keywords: | Pure functional languages assignments Monads. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
