命令式语言的精确约束时间分析(英文)

作者：王明文; 孙永强

来源：江西师范大学学报(自然科学版), 2001, (01): 29-35+82.

DOI：10.16357/j.cnki.issn1000-5862.2001.01.008

• 部分计值
• 约束时间分析
• 递归归约树
• 命令式语言 partial evaluation
• binding time analysis
• recur redex tree
• imperative languages

构造程序语言的部分计值器时最重要的一步是约束时间分析 .当已知程序的部分输入时 ,约束时间分析阶段是区分程序中哪些计算可在部分计值时完成 ,哪些计算须在运行时完成 .然而对实际应用程序 ,已存在的部分计值器并没有较好对程序进行优化得到执行效率高的剩余程序 ,其主要原因是对程序没有精确提取约束时间分析信息 .该文作者应用与前人不同的方法 ,将约束时间分析分为 3个阶段 :约束时间、递归调用分析、相关性分析 ,通过各阶段分析以提取更精确的约束时间分析信息 ,从而得到高效率的剩余程序 .此外 ,该文提供了相应程序变换规则 ,分析各个程序的子结构模块 ,在例化时完成相应计算并生成剩余程序 .

• 出版日期2001
• 单位江西师范大学; 上海交通大学