绑定时间分析（BTA）相关硕士博士期刊学术论文

部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。作为程序优化方法的部分求值技术，通过程序变换把一个具有一般......