机译:通过输出约束专业化进行程序调整
School of Computing, National University of Singapore;
partial evaluation; specialization; weakest pre-condition;
机译:专业化方案:声明程序专业化的务实方法
机译:通过评估系统的计划专业化师范专业化的高效安全执行
机译:挖掘关联规则的遗传网络编程中的适应和自适应机制
机译:输出约束专业化
机译:适应和专业化在细菌代谢的演变。
机译:混合动力船的淋巴程序设计和专业化
机译:输出约束专业化