自动删除冗余参数
摘要：程序开发和优化过程中引入自动转换过程可能会在生成的代码中引入程序员通常（或者可能）不编写的负担。一个例子是在程序中定义的函数中引入冗余参数。参数的冗余意味着用任何表达式替换它都不会改变结果。在这项工作中，我们提供了用于术语重写系统中分析和消除冗余参数的方法，作为可以用更复杂语言编写的程序的模型。基于冗余参数的无用性，我们还提出了一种擦除过程，可以避免不必要的计算，同时仍然保留语义（在确定的条件下）。我们已经进行了这些方法的原型实现，证明了我们的方法的实用性。
作者：Maria Alpuente, Santiago Escobar, Salvador Lucas
论文ID：cs/0601039
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23