机译:部分评估细化控制流及其在终止和成本分析中的应用
Univ Complutense Madrid Madrid Spain;
Roskilde Univ Roskilde Denmark|IMDEA Software Inst Madrid Spain;
Control-flow refinement; partial evaluation; termination analysis; cost analysis;
机译:离线部分评估中的终止分析和专业点插入
机译:面向容错应用的面向故障分析的重新设计和成本效益评估方法
机译:生命周期成本分析评估陶瓷膜在水处理厂中的应用
机译:快速准确的强大终止分析,申请部分评估
机译:评估成本和收益的概念和实际分析:为实际方案评估开发成本分析工具
机译:小型化的血液采样技术可减少小鼠和精制非人类灵长类动物:抗体-药物结合物在毒性研究中的生物分析应用
机译:快速准确的强终止分析及其在部分评估中的应用