【摘 要】
：
该文介绍一种新的编程语言LEP。LEP语言是Proloy语言与方程编程语言相结合的编程语言，它包括了上述两种语言成分各自所有的特点。LEP语言以单向语义合一（BiasedSemanticunifica
【出 处】
：
全国软件理论与计算理论第三次学术会
论文部分内容阅读
该文介绍一种新的编程语言LEP。LEP语言是Proloy语言与方程编程语言相结合的编程语言，它包括了上述两种语言成分各自所有的特点。LEP语言以单向语义合一（BiasedSemanticunification）为基础，实现了两种语言的结合。LEP语言解决逻辑编程语言与函数编程语言相结合的语义兼容问题。在LEP语言中，函数的归约满足Church-Rosser定理，以单向语义合一为基础的函数归约是模式驱动怠惰归约（patterndrivenlazyreduction），这是一种按需调用。LEP语言能有效地支持流（stream）程序设计。LEP语言是多风格的（multi-snyle），它可以作为一个实用的AI编程使用。（本刊录）
其他文献
【摘要】少数民族汉语言学习，对于其未来发展至关重要。但是在如今的高等职业院校汉语教学中，还存在一些不完善之处，需要采取有效的应对措施，以此提升少数民族学生的汉语能力。此次研究主要是针对高等职业院校少数民族汉语教学展开思考，希望能够为教学工作工作者提供一定的理论借鉴。 【关键词】高等职业院校 少数民族汉语教学 思考 【中图分类号】G71【文献标识码】A 【文章编号】2095-3089（2016）
【摘要】信息技术与语文教学相融合，具有传统教学所不可比拟的优越性。如何在语文教学中，更好的利用信息技术，优化语文教学，谈了自己在教学实践中的做法和体会。 【关键词】信息技术 语文教学 课前 课中 课后 【中图分类号】G623.2【文献标识码】A 【文章编号】2095-3089（2016）09-0051-02 我们生活在一个信息世界里，信息技术使我们的生活发生了翻天覆地的变化。教师们也都有过各
【摘要】随着新课标实施的不断深入，小学语文教学内容和形式等发生了一定的变化。为了能够更好地适应教育教学的发展，提高语文教学效率，提高学生的语文综合素质，开展有效的语文教学改革势在必行。这就需要教师不断丰富教学观念，丰富教学方式，激发学生学习的兴趣，从而有效提高语文教学效率，实现素质教育的最终目的。本文通过对于小学语文教学改革进行简要分析，提出了几条策略，旨在有效提升语文教学效率，提高学生的语文综合
该文讨论了Horn子句逻辑程序固有的不确定性及其潜在的并发性。分析了Prolog及一些并发逻辑程序设计语言模型的优缺点。在此基础上提出一种并行逻辑程序设计语言的梗概。（本刊
【摘要】本文从列举学生不纠正教师教学错误现象入手，寻找其缺乏批判意识的根源，指出其严重后果，从而提出初中语文教学培养学生批判意识的重要性和必要性。 文章着重从课堂教学主渠道、社会上交流、生活中体验三个方面探讨培养的方法和途径，并记述了一些教学的具体做法和实效。 【关键词】批判意识 培养 语文教学 【中图分类号】G633.3【文献标识码】A 【文章编号】2095-3089（2016）09-00
【摘要】在新的教学理念的指导下，为了提高小学语文课堂教学的效果，就要灵活运用恰当的教学对策，使语文教学真正成为促进学生全面发展的教学。文章从联系学生生活实际、导语设计和运用现代教学媒体方面进行了教学对策的分析。 【关键词】小学语文 课堂教学 教学质量 提高 【中图分类号】G623.2【文献标识码】A 【文章编号】2095-3089（2016）09-0050-01 《语文课程标准》指出“语文教
【摘要】当前阶段，多元文化背景下高职思想政治教育改革正在面临着空前绝后的发展契机。高职校院校需要在面对这一契机过程中，不断强化自我的主流观念，深化马克思主义对于高职院校思想政治教育工作改革的教学价值。为此，笔者在文中主要对多元文化背景下，高职教育院校政治教育改革的现状进行分析。 【关键词】多元文化背景 高职教育院校 思想政治教育 【中图分类号】G711【文献标识码】A 【文章编号】2095-3
【摘要】随着教育改革的深入和社会的发展，高校学生价值观、人生观和思想道德观等都受到影响，尤其是高校边缘化学生，这些学生思想简单，容易受外界因素干扰，对于这些边缘化学生，需要高校辅导员做好思想政治教育工作，为我国培养综合素质人才奠定基础。 【关键词】高校辅导员 边缘化学生 思政工作 【中图分类号】G641【文献标识码】A 【文章编号】2095-3089（2016）09-0055-01 前言：高