咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 系统科学

主题

  • 2 篇 程序综合法
  • 1 篇 人工智能
  • 1 篇 形式分析
  • 1 篇 程序设计自动化
  • 1 篇 形式规约

机构

  • 1 篇 吉林大学
  • 1 篇 上海科技大学

作者

  • 1 篇 全炳哲
  • 1 篇 金淳兆
  • 1 篇 朱关铭
  • 1 篇 陈伟
  • 1 篇 潘皞

语言

  • 2 篇 中文
检索条件"主题词=程序综合法"
2 条 记 录,以下是1-10 订阅
排序:
一种程序综合方法
收藏 引用
计算机学报 1996年 第11期19卷 833-840页
作者: 全炳哲 陈伟 金淳兆 吉林大学计算机科学系
通过证明程序规约的方法可构造相应程序.但对“难题”和无证明的规约,无法使用这种方法构造程序.另一方面,如果可构造程序规约的验证程序,则可把这种程序看成该规约的程序.本文讨论了程序规约的验证程序的构造方法,作为研究程序... 详细信息
来源: 评论
形式化的程序综合方法及综合器NEAT
收藏 引用
计算机应用与软件 1989年 第2期6卷 19-23,9页
作者: 潘皞 朱关铭 上海科技大学
在人工智能领域里,程序综合方法是实现自动程序设计,构造正确程序的一条有效途径,但往往由于它所涉及的知识领域相当广泛,使得以往的程序综合系统多以大中型计算机为其支持。本文提出一种以形式分析为主的程序综合方法,它勿需庞大的知... 详细信息
来源: 评论