咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

主题

  • 1 篇 program synthesi...
  • 1 篇 program analysis
  • 1 篇 automatic progra...
  • 1 篇 analysis of algo...
  • 1 篇 codification of ...
  • 1 篇 knowledge-based ...
  • 1 篇 automatic coding
  • 1 篇 interaction of k...

作者

  • 1 篇 elaine kant
  • 1 篇 david r. barstow

语言

  • 1 篇 英文
检索条件"主题词=Codification of programming knowledge"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Observations on the interaction between coding and efficiency knowledge in the PSI Program Synthesis System  76
Observations on the interaction between coding and efficienc...
收藏
分享
引用
Proceedings of the 2nd international conference on Software engineering
作者： David R. Barstow Elaine Kant
This paper discusses how the synthesis phase of the PSI system constructs programs from high level program models by using coding knowledge and efficiency knowledge. In our preliminary implementation, these knowledge ... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件