剩余程序相关论文
构造程序语言的部分计值器时最重要的一步是约束时间分析.当已知程序的部分输入时,约束时间分析阶段是区分程序中哪些计算可在部分......
部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集......
通过并行融合部分求值和别名分析技术，提出一种新的别名分析方法，并给出形式化描述．实践表明，该方法在具有部分输入的情形下不仅优于传......
