机译:通过部分评估从抽象规范生成消息传递程序
Cost model; Meta-programming; Parallelism; Partial evaluation; Skeletons;
机译:通过部分评估从抽象规范生成消息传递程序
机译:逻辑程序部分评估和抽象解释集成的框架
机译:具有高度可视化和抽象程序规范的自动编程系统SPACE
机译:通过抽象程序状态生成递归方法的规范
机译:在计划评估中部分确定平均治疗效果:理论与应用。
机译:通过定义的因子对异源细胞进行部分重编程以生成巨核细胞谱系限制的生物分子
机译:逻辑程序部分评价与抽象解释相结合的框架
机译:通过模型检查抽象形式规范生成软件测试