首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 41 毫秒
1.
函数式程序的分层λ抽象   总被引:3,自引:0,他引:3  
廖湖声 《计算机学报》1989,12(12):892-899
本文提出应该根据函数调用形式来决定如何使用程序变换技术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换.  相似文献   

2.
函数式面向对象程序设计语言FOPL   总被引:1,自引:0,他引:1  
梅宏  孙永强 《计算机学报》1995,18(4):281-289
本文介绍函数式面向对象程序设计语言FOPL的设计原则、主要特性及实现等方面的问题。  相似文献   

3.
针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。  相似文献   

4.
廖湖声  吴晶 《计算机学报》1995,18(7):554-557
函数式程序的离散式延迟输入输出流廖湖声,吴晶(北京工业大学计算机学院北京100044)ADISCRETELAZYSTREAMFORINPUTANDOUTPUTINFUNCTIONALLANGUAGES¥LiaoHushengandWuJing(Com...  相似文献   

5.
网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之问切换,这样不可避免的会造成控制信息的丢失.为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(eontinuationpassing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现.  相似文献   

6.
提出了一种基于流演算的最优规划程序设计语言OPPLFC(optimal planning programming language based on fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,利用最优规划算子实现最优规划。OPPLFC的最优规划算子是通过引入强化学习报酬函数的多次离线执行。当与前一次离线执行所得的报酬相比较,值小则所得的动作序列为当前最优规划。给出了OPPLFC语言的组成、程序语义及其实现。最后,通过实例验证了OPPLFC语言的可行性。  相似文献   

7.
传统的课堂教学已不能满足学生的需求,我们必须转变教学观念,创新教学方法。研讨式教学法是一种以学 生为中心,能发挥学生学习主动性的教学方法,将有助于解决所面临的问题。从讨论《程序设计语言》课程面临的问题入手,介 绍了《程序设计语言》课程教学研究现状,进而探讨了研讨式教学在课程教学中的应用,着重剖析了研讨式教学在三个方面的 应用,并进行了评析和总结。  相似文献   

8.
函数/逻辑程序设计语言RFUNLOG   总被引:1,自引:0,他引:1  
  相似文献   

9.
张林 《福建电脑》2007,(9):24-25
本文从教学内容、教学方法等方面分析了当前程序设计语言教学中的问题,并提出了相应的解决问题的策略。  相似文献   

10.
11.
宋凯  廖湖声 《软件学报》1996,7(A00):436-440
本语言介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法,集合的引入改善限函数式程序的表达能力,并且为提高程序效率创造了条件。  相似文献   

12.
宋立彤  金成植 《软件学报》1996,7(10):611-615
本文给出高阶函数式语言Prolog语言的一种转换技术,其中主要用到抽象闭包分析,Lambda提升,顺序化以及Prolog中的Call技术,本文的研究征顺于高阶性的处理上。  相似文献   

13.
14.
建构主义教学模式下的支架式教学是讲授计算机程序设计语言课程的恰当方法,它强调把复杂的任务加以分解,把学习者的理解逐步引向深入,由学习者主动完成信息的建构。在教学实践中应用搭脚手架、创造情境、独立探索、协作学习、效果评价等手段,使支架式教学落实到教学各个环节,教学效果良好,呈现出良好的应用前景。  相似文献   

15.
如何提高函数式程序设计语言在传统冯·诺依曼机器上的执行速度.及效率,一直是该领域中研究的主要论题,对此,并行图归约技术、并行闭包归约、并行编译、并行程序转换等等技术相继成为改善这种状况的措施。  相似文献   

16.
本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的MC68000的目标代码。系统中采用预调整技术。实现了一种特殊的延迟求值方式:减轻了程序执行对内存空间的需求,并优化了程序的执行过程。  相似文献   

17.
智能Agent程序设计语言IAPL   总被引:1,自引:0,他引:1  
分析了现有的面向Agent程序设计语言,指出了各自的优缺点。基于智能Agent结构,设计了一个新的智能Agent程序设计语言IAPL;给出了IAPL的语言规范、一组操作原语(信念、意向等心智成份的增加、删除、修改、查询等原语)及Agent之间的通信原语;利用情境演算理论,提供了IAPL语言的语义;提出了在线执行与离线规划相结合的IAPL程序执行方式。  相似文献   

18.
韩祝鹏 《程序员》2010,(8):83-85
程序的江湖中总是风水轮流转,前些年面向对象编程(OOP)当道,这几年函数式编程(FP)渐渐渗透进主流。莫要感叹世事变化莫测,让我们抛开纷杂的表象,追本溯源,来一次寻根之旅,领略下最纯粹的FP语言Haskell的美妙。  相似文献   

19.
本文提出了知识程序设计语言概念,即有实际效率能进行知识推理的知识表示语言,它有统一的逻辑基础又有当前若干有代表性人工智能语言的本质特征。本文还给出一种知识程序设计语言的有关研究内容和实际取得的进展。  相似文献   

20.
针对目前程序设计语言基础教学所存在的问题,面向学生思维能力和解决问题能力的培养,提出面向大班教学的问题驱动式教学改革方法,将思维训练导向的问题驱动式教学方法贯穿教与学,并结合大班理论授课、小班实践答疑的模式阐述教学过程设计.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号