函数式语言中赋值语句(之二)--《湘潭大学自然科学学报》2001年01期

《湘潭大学自然科学学报》 2001年01期

【摘要】：为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .

【作者单位】：湘潭大学计算机科学系!湘潭 411105 湘潭大学计算机科学系!湘潭 411105
【关键词】： 函数式程序设计语言 赋值操作 输入/输出 指称语义
【分类号】：TP312
【DOI】：CNKI:SUN:XYDZ.0.2001-01-001
【正文快照】：

怎样在纯函数式语言中加入赋值语句 ,而又不丧失其引用透明性特征 ,一直是函数式语言学界关注的焦点 .人们在这方面做过许多尝试 ,但效果均不理想 ,其原因主要有两个 :第一 ,随着赋值语句的引入 ,往往伴随着引用透明性的消失 ,使得计算的结果依赖于计算的顺序 ,纯函数语言的

全文下载：

PDF格式
不支持迅雷等加速下载工具，请取消加速工具后下载

CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式

	【引证文献】
	【引证文献】

中国博士学位论文全文数据库

前1条

1	范年柏;程序正确性验证的几个问题[D];湖南大学;2005年

	【共引文献】
	【共引文献】

中国期刊全文数据库

前2条

1	范年柏,张大方;程序中表达式的副作用问题讨论[J];湖南大学学报(自然科学版);2002年03期
2	石跃祥,袁华强;纯函数式语言的状态转换器与调用[J];湘潭大学自然科学学报;2000年03期

	【同被引文献】
	【同被引文献】

中国期刊全文数据库

前6条

1	范年柏,张大方,戴永峰;交换环上的可逆线性有限自动机的维数讨论[J];航空计算技术;2002年03期
2	范年柏,张大方;程序中表达式的副作用问题讨论[J];湖南大学学报(自然科学版);2002年03期
3	范年柏,张大方,颜学义,周立彪,肖庆丰;基于栈操作的用例规模的一个计算公式[J];湖南大学学报(自然科学版);2004年06期
4	吕书志;环上线性有限自动机的可逆性的一些结果[J];计算机学报;1991年08期
5	厉海燕,李新明;一种证明程序正确性的方法[J];计算机应用;2001年S1期
6	李勇坚,何积丰,孙永强;Verilog代数语义研究[J];软件学报;2003年03期

	【相似文献】
	【相似文献】

中国期刊全文数据库

前10条

1	王家奎;;Z-80CPU输入/输出功能扩充[J];大连海事大学学报;1990年01期
2	韩学义;PC机多功能自动测量控制系统的设计及应用[J];微电子学与计算机;1992年02期
3	陈立刚,邹逢兴,叶栋材;机器人多微处理机控制系统的输入/输出子系统实现[J];微型机与应用;1993年07期
4	孙胜春;邢昌风;肖英;;PC机并行口的扩展[J];海军工程大学学报;1993年01期
5	田进忠;DOS的组成与功能[J];电脑知识与技术;1995年06期
6	武秀川,鲁明羽,王英娜;输入输出缓冲区的设置及工作原理[J];现代计算机;1999年02期
7	虢崇斌,陈晓琪;探讨计算机并行接口的原理与使用[J];重型机械科技;2000年04期
8	梁建均;32位视窗系统串行通讯的读操作[J];安阳师范学院学报;2001年02期
9	蒋万君;总线隔离器的作用及应用[J];重庆三峡学院学报;2001年04期
10	石跃祥,袁华强;函数式语言中赋值语句(之二)[J];湘潭大学自然科学学报;2001年01期