【摘 要】
：
构造程序语言的部分计值器时最重要的一步是约束时间分析.当已知程序的部分输入时,约束时间分析阶段是区分程序中哪些计算可在部分计值时完成,哪些计算须在运行时完成.然而对
【机 构】
：
江西师范大学计算机科学技术学院,上
【基金项目】
：
国家高技术研究发展计划(863计划)，国家自然科学基金
论文部分内容阅读
构造程序语言的部分计值器时最重要的一步是约束时间分析.当已知程序的部分输入时,约束时间分析阶段是区分程序中哪些计算可在部分计值时完成,哪些计算须在运行时完成.然而对实际应用程序,已存在的部分计值器并没有较好对程序进行优化得到执行效率高的剩余程序,其主要原因是对程序没有精确提取约束时间分析信息.该文作者应用与前人不同的方法,将约束时同分析分为3个阶段:约束时间、递归调用分析、相关性分析,通过各阶段分析以提取更精确的约束时间分析信息,从而得到高效率的剩余程序.此外,该文提供了相应程序变换规则,分析各个程序的子
其他文献
患者男，89岁。阿尔茨海默病史10余年。双下肢皮肤瘙痒20余天，四肢水疱10余天，可见多发大小不一张力性水疱、大疱，尼氏征阴性，部分破溃伴轻度糜烂、渗出，部分干燥结痂；口腔黏膜及外生
目的 观察盐酸非索非那丁联合曲尼司特治疗慢性荨麻疹的疗效和安全性.方法 将121例慢性荨麻疹患者分为联合用药组61例和单独用药组60例,以口服盐酸非索非那丁、曲尼司特为联
1 临床资料患者,女性,80岁.因左面颊下部红斑生长3年就诊.患者于3年前左面颊下部出现一红斑,后渐渐长大,无自觉症状.在当地以“湿疹”等病治疗,曾外用激素等药物治疗无效,近
采用X-射线衍射仪（XRD）、扫描电子显微镜（SEM）、电池性能测试仪等系统分析了Pechini法合成的LiM。Mn2--xO4（M—La，Ce，Nd；x=0，0．02，0．03）的结构、形貌、首次充放电及循环稳定性等。结果表明
目的 观察复方甘草酸苷联合西替利嗪治疗单纯型过敏性紫癜的临床疗效.方法 采用随机对照法将175例患者分为治疗组95例和对照组80例.两组均口服西替利嗪、VitC、VitE及双嘧达
王力虎，男，汉族，1962年4月生，山西文水人，广西师范大学教授，博士。1984年9月于华中师范大学物理系毕业获学士学位，进入广西师范大学物理系任教，2000年9月-2001年7月赴南京大学计算机
目的 掌握和了解我省麻风的畸残情况,有助于比较各地的麻风畸残情况和制定相应的康复计划,降低畸残率。方法参照国家规定的有关分级标准,对青海麻风防治历年各种统计表等资料
痤疮是发生于毛囊皮脂腺的一种慢性炎症性疾病。主要发生于面、胸背等处，形成黑头、丘疹、脓疱、结节等损害。原发性痤疮好发于青年人，严重影响美容，给患者带来苦恼。我科于2010
目的 观察5-氨基酮戊酸光动力疗法（ALA-PDT）治疗泛发性跖疣的临床疗效.方法 对28例泛发性跖疣患者进行ALA-PDT治疗.结果 经过（3~4）次ALA-PDT治疗后,随访3个月,26例泛发性跖疣患者
将粒子群优化算法用于前向神经网络权值的学习算法研究，以神经网络学习算法研究的典型问题之一的XOR问题作为研究实例，针对算法的收敛性、学习速度以及算法对初值的鲁棒性等性