资源描述：
《具有函数范型命令式语言语义问题的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、宁夏大学硕士学位论文具有函数范型的命令式语言语义问题研究姓名：程志华申请学位级别：硕士专业：计算机软件与理论指导教师：丁志义2011-03摘要随着软件系统的规模增长，其复杂程度越来越高，函数式程序设计语言为解决这类问题提供了一个优美独特的框架，但是函数式语言程序的执行效率低下。针对这个问题，本文将从以下几方面研究：首先，本文通过研究函数式语言的诞生背景以及发展，讨论命令式语言与函数式语言各自的不足。简单地介绍FP语言，并讨论了函数式语言的优缺点和函数式程序设计的理想化目标。其次，根据递归理论，提出
2、一种建立在命令式语言基础上的编程规则，这种规则无赋值语句，消除了赋值语句副作用带来的危害。分析命令式语言的函数调用过程，找出赋值语句副作用带来最大危害的根源。提出对变量限制使用的方法，减少副作用，使函数调用与执行顺序无关，从而能够引入惰性求值。再次，本文还讨论了回溯法和分支限界两种算法策略，对其解空间进行分类，利用高阶函数和泛型程序设计技术实现解空间的自动构造和遍历。从而，提高这两种算法实现效率与正确性。关键词：命令式语言，函数式语言，惰性求值，高阶函数IAbstractAsthesizeandc
3、omplexityofsoftwaresystemsisgrowingdramatically,Functionallanguageshaveprovidedaparticularlyelegantframeworktoaddresstheseissues,buttherunningefficiencyofFunctionallanguagesisslow.First,thistextdiscussesthedifferencebetweenthedefectsofImperativelangua
4、gesandFunctionallanguage,bythedisquisitionofthecontextofFunctionallanguageanditsdevelopment.AndbyintroducingtheFPsystemcurtly,itdiscussestheFunctionallanguageanditsgoal.Second,byRecursiontheory,thispaperbuildsaruleofprogrambasingImperativelanguages,wi
5、thoutAssignmentstatements,toclearupitsSide-effect.AndfindthereasonoftheSide-effect,bytheanalysisoftheprocessofthefunctioncalling.Broadenouttheruletoconfineusingvariableonly,toreducethebreachfromtheSide-effectandmakethesequenceofthefunctioncallingnotim
6、portanttointroduceLazycomputationtoImperativelanguages.Third,forthetwotactics,BacktrackingandBranchandboundalgorithm,thispaperassortstheirSolutionspaces,toachievetobuildandtraversalthem,withHigher-orderfunctionandgenericprogramming.Sothatitimprovesthe
7、efficiencyofProgrammingandveracity.Keywords:Imperativelanguages,Functionallanguage,Lazycomputation,Higher-orderfunctionII独创性声明本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得宁夏大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本
8、研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。研究生签名：时间：年月日关于论文使用授权的说明本人完全了解宁夏大学有关保留、使用学位论文的规定，即：学校有权保留送交论文的复印件和磁盘，允许论文被查阅和借阅，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。同意宁夏大学可以用不同方式在不同媒体上发表、传播学位论文的全部或部分内容。(保密的学位论文在解密后应遵守此协议)研究生签名：时间：年月日导师签名：时间：年月日宁夏大学硕士学位论文第一章绪论第一章绪论1.1本文研究背景
