首页> 外文OA文献 >Combining proof plans with partial order planning for imperative program synthesis

【2h】

Combining proof plans with partial order planning for imperative program synthesis

机译：将证明计划与部分订单计划相结合以实现命令性程序综合

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ireland Andrew; Stark Jamie;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis [J] . ANDREW IRELAND, JAMIE STARK Automated software engineering . 2006,第1期

机译：将证明计划与部分订单计划相结合以实现命令式程序综合
2. Automated Field-In-Field (FIF) Plan Framework Combining Scripting Application Programming Interface and User-Executed Program for Breast Forward IMRT [J] . Hojin Kim, Jungwon Kwak, Jinhong Jung, Technology in cancer research & treatment. . 2018,第6期

机译：组合脚本应用程序编程接口和用户执行程序的自动现场（FIF）计划框架，用于乳房前进IMRT
3. Combined heat and power units and network expansion planning considering distributed energy resources and demand response programs [J] . Qaeini Saeed, Nazar Mehrdad Setayesh, Varasteh Farid, Energy Conversion & Management . 2020,第May期

机译：考虑分布能源资源和需求响应计划的综合热电和电力单元和网络扩展规划
4. Towards automatic imperative program synthesis through proof planning [C] . Stark, J., Ireland, . 1999

机译：通过证明计划实现自动命令式程序综合
5. Mixed-integer linear programming models for least-commitment partial-order planning. [D] . Say, Buser. 2017

机译：用于最小承诺部分订单计划的混合整数线性规划模型。
6. Strengthening Government Leadership in Family Planning Programming in Senegal: From Proof of Concept to Proof of Implementation in 2 Districts [O] . Barry Aichatou, Cheikh Seck, Thierno Souleymane Baal Anne, 2016

机译：加强塞内加尔计划生育计划中的政府领导：从概念证明到两区实施的证明
7. Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis [O] . Andrew Ireland, Jamie Stark 2008

机译：将证明计划与部分订单计划结合起来进行势在必行的程序综合
8. Planning and Imperative Program Synthesis: A Deductive Approach. [R] . Waldinger, R. 1990

机译：规划和命令计划综合：一种演绎方法。

Combining proof plans with partial order planning for imperative program synthesis

著录项

引文网络

相似文献

相关主题

期刊订阅