【摘 要】
：
为将监督式编译技术（supercompilation）的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
国家自然科学基金项目（60573013、60721061、60811120022）
论文部分内容阅读
为将监督式编译技术（supercompilation）的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行分析,并提出新的发展方向。在此基础上,将其它基于系统转换（metasystem transition,MST）的优化技术与监督式编译进行比较,并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。
其他文献
针对当前寻路算法不能很好满足某些实时性应用中需要快速找到最短路径的要求，提出一种基于陷阱层次预处理的寻路算法。通过在预处理阶段探测出陷阱，即在实际搜索中并不需要的区
<正>据天津市政府日前出台的《天津市绿色建筑管理规定》,5月1日起,学校、医院、保障房等新建建筑,都将执行绿色建筑标准,同时鼓励既有建筑改造和工业建筑执行绿色建筑标准。
有这样一句广告语：“思想有多远，我们就能走多远。”它蕴含深刻的哲理颇耐人寻味，因此让人久久不能忘怀。这个时代，其实并不缺少教学上的专家，更不缺乏教学技巧上的异彩纷呈，缺少的是对教育作出深刻思索的思想者和他们前瞻性的思想火花。 是什么可以让教育发展得更好？最重要的大概不是这样或那样层出不穷的新教法（当然也很重要），而是能引领教育人前进方向的教育思想。教师作为影响、塑造人类灵魂的职业，注定了教书育人