论文部分内容阅读
该文基于抽象编译技术设计并实现了一自应用型的函数式语言部分求值器ＦＭＩＸ，与已知的国外同类其它部分求值器相比，ＦＭＩＸ在设计方法和实现策略上具有独到之处，在几个普遍较难处理的问题上运用了较高效的技术。ＦＭＩＸ求得的剩余程序不仅代码小，且执行效率较高。
一个自应用型的函数式语言部分求值器FMIX
【摘 要】
：
该文基于抽象编译技术设计并实现了一自应用型的函数式语言部分求值器ＦＭＩＸ，与已知的国外同类其它部分求值器相比，ＦＭＩＸ在设计方法和实现策略上具有独到之处，在几个普遍较难处理的问题上运
【机 构】
：
大学计算机科学系
【出 处】
：
第六届全国青年计算机工作者会议
【发表日期】
：
1996年期
其他文献
摘 要： 图像法是通过作图来体现一些物理量之间变化规律，并从中可求解未知量的大小及其变化的方法。本文谈的是如何利用平面坐标系，通过数学推导，快速简易地求得并联电阻值、串联电容值的图解法，从而代替繁琐的公式法计算。 关键词： 并联电阻 串联电容 图表解法 在求解并联电阻及串联电容的等效值时，采用计算的方法，虽然可以达到较高的精确度，但计算过程往往比较繁琐。在要求精度不太高的情况下，如果采用图表解
插图是历史与社会教材的重要组成部分,本文从不同的插图、不同的作用说起,结合课堂实际中对插图的运用:以图导课,激发兴趣;以图提问,巧设探究;以图释文,通俗易懂等提出教师在
摘 要： 新课程改革提出了“将课堂还给学生”的教学理念，这就要求在中学历史教学中必须改变传统的教学方式，以学生为主体，进行课堂教学。建立互动探究式的教学有利于优化教学过程，提高课堂效率。本文依据新课程理念，在查阅参考文献、调查课堂教学实际的基础上，对历史教学互动探究方式进行评价与反思。具体内容包括互动探究方式的主要优点；互动探究方式易出现的问题；改善课堂师生互动探究的策略。 关键词： 中学历史教
新课标背景下的物理课堂教学，其教学策略和方法与过去相比有了很大的变化，并逐渐形成了新的特色。但目前的课堂教学并未达到尽善尽美的地步，一些现象和做法与新课标的要求还有差距。下面我就课堂教学中的一些现象展开分析并提出设想，以求抛砖引玉。 一、精选教学内容，激发学生兴趣 随着科技的进步，我们能获取的与教学内容相关的信息越来越多。有些老师看花了眼，小到一幅图片，一段动画，大到一个探究活动，只要与这节课