【摘 要】
：
为将监督式编译技术（supercompilation）的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
国家自然科学基金项目（60573013、60721061、60811120022）
论文部分内容阅读
为将监督式编译技术（supercompilation）的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行分析,并提出新的发展方向。在此基础上,将其它基于系统转换（metasystem transition,MST）的优化技术与监督式编译进行比较,并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。
其他文献
针对当前寻路算法不能很好满足某些实时性应用中需要快速找到最短路径的要求，提出一种基于陷阱层次预处理的寻路算法。通过在预处理阶段探测出陷阱，即在实际搜索中并不需要的区
<正>据天津市政府日前出台的《天津市绿色建筑管理规定》,5月1日起,学校、医院、保障房等新建建筑,都将执行绿色建筑标准,同时鼓励既有建筑改造和工业建筑执行绿色建筑标准。
部属成熟度与领导方式的选择毛寿龙根据领导学理论，领导行为可以分为两类：任务性行为和关系性行为。任务性行为是指领导详细指示部属，具体指派任务，明确职责，告诉部属做什么，怎么做
钨酸铋钠 [NaBi(WO4) 2 ,NBW]晶体具有优良的闪烁性能 ,它的衰减时间短 (τ =3ns) ,抗辐照损伤能力强 ( 5× 1 0 7rad) ,辐射长度短 (l=0 .98cm) ,密度大 ( ρ =7.5 8g/c
有这样一句广告语：“思想有多远，我们就能走多远。”它蕴含深刻的哲理颇耐人寻味，因此让人久久不能忘怀。这个时代，其实并不缺少教学上的专家，更不缺乏教学技巧上的异彩纷呈，缺少的是对教育作出深刻思索的思想者和他们前瞻性的思想火花。 是什么可以让教育发展得更好？最重要的大概不是这样或那样层出不穷的新教法（当然也很重要），而是能引领教育人前进方向的教育思想。教师作为影响、塑造人类灵魂的职业，注定了教书育人
年轻干部的形象设计乔本成作为担负着我国改革开放和现代化经济建设重任的跨世纪的年轻干部，应该树立什么样的形象呢？笔者试从以下十个方面为其定位：一、仪表大方有风度，以文明的
本文从结晶化学角度出发，结合晶体的生长工艺研究了顶部籽晶溶盐法（ＴＳＳＧ）生长ＢａＴｉＯ３晶体中的包裹体形成机理及其对电畴结构的影响。在ｃ轴籽晶生长的晶体中，包裹体主要是沿着籽晶分布在晶体的