【摘 要】
：
<正> 增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展
【机 构】
：
北京工业大学计算机学院北京100044
【基金项目】
：
国家自然科学基金,,北京市自然科学基金
论文部分内容阅读
<正> 增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展,人们开始研究用于增量计算的通用的程序生成方法,以求从根本上消除使用增量计算实现算法的需求。 有关增量计算自动生成的研究工作,大致可分为两类一类以耶鲁大学的Hudak研究组为代表[lJ,力图建立一种完成增量计算的程序执行环境。在这种环境中,应用程序的每次执行将能够利用上次执行的部分计算结果。另一类以康乃尔大学的Teitel-
其他文献
采用简单的搅拌还原法制备了石墨烯/铜-银合金纳米复合物，基于该复合物修饰玻碳电极制备了新型的电化学传感器．用SEM和TEM扫描电镜对石墨烯和石墨烯/铜-银合金纳米复合物进行了
共享型商用局域网的通讯性能较差，限制了工作站群机系统的应用。引入交换式局域网将能从根本上解决这个问题。
本文通过对成人教育在构筑和谐社会的三个作用,一是有利于人力资源的优化配置,提高劳动生产率;二是有助于人与人之间的和谐相处,三是有益于“每个人的自由发展”,来突出成人
选取8周龄雄性SD大鼠研究大蒜素和运动疲劳对大鼠P-PKC的影响,实验鼠随机分为安静对照组、运动疲劳组以及相应实验性设计的大蒜素＋运动疲劳组,各组又根据取材时间不同随机分为
10月30日、31日两天,我在威海荣成参加了全省心理健康教育优秀课例观摩暨学科教学研讨会,非常感谢本次会议的组织者——山东省教育科学院的许爱红主任,感谢许主任为我们这些
小学语文教育十分重视对学生基础能力的培养,听、说、读、写是学习任何一门语言都必须掌握的基本技能,语文这门母语学科也不例外,其中读和写是学生需要掌握的最重要的基本能
<正>Ada语言是美国国防部(DOD)为解决软件危机和日益增长的软件开发费用而主持研制的一个通用
1994年6月1日～3日我们出席了在美国华盛顿D.C.召开的国际智能信息管理系统学术会议,该会议由国际小型、微型计算机协会举办,来自美国、加拿大、德国、日本等的许多专家出席了
在非线性项有一部分是次线性的条件下,运用临界点理论中的极小作用原理,得到了非自治二阶哈密尔顿系统周期解的存在性.
加深教师对新课程的理解,提高教师实施新课程的能力和水平,使教师尽快走进新课程是当务之急。只有对以往应试教育进行理智的分析,正确的预测,才能更好地正视、把握新课标。