模式推导相关硕士博士期刊学术论文

本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种......