【摘 要】
：
NPA(Naming University Programmer’s Apprentice)是一个交互式程序设计助手系统,它的主要基础是格局——一种程序表示方法.在这种表示中忽略了程序的非本质特征,仅仅描述有
【机 构】
：
南京大学计算机科学系,北京信息工程学院软件工程研究中心
论文部分内容阅读
NPA(Naming University Programmer’s Apprentice)是一个交互式程序设计助手系统,它的主要基础是格局——一种程序表示方法.在这种表示中忽略了程序的非本质特征,仅仅描述有关算法的基本逻辑特征. NPA的设计目标是通过引用格局库中的程序片段,迅速而准确地构造程 序,它的目标语言是Ada.目前该系统由五个部分组成:编码程序,分析程序,格局库,格局编辑程序和正文编辑程序.
其他文献
《国际饲料》杂志调查了全球51家年产超过100万t饲料的企业，并列入排名榜（表1）。
据中新社报道．国务院办公厅9月4日发布《国务院关于开展新型农村社会养老保险试点的指导意见》，确定从今年起开展新型农村社会养老保险（简称“新农保”）试点。
饲料行业在发展时期会产生很多的企业．但最后能做大做强的是少数．一个区域也有很多同行业的经销商，但做得顺风顺水的也是少数。一句话，为什么大多数饲料企业都做不大呢？说白了，就是
我国的饲料业是随着动物营养和饲料科学的发展．在工业化水平提高并达到一定阶段后逐步发展起来的跨行业、跨部门、跨学科的新兴行业。它包括几大部分：饲料原料生产、饲料加工（包
本文提出了计算机辅助制造(CAM)中的一类作业调度问题并证明了它的NP完全性。
上海市肉类行业协会肉类商品流通专业委员会近日成立，会员单位之间的瘦肉精互检抽检也同时开展，将有效遏制会员经营的外省市供沪活猪中瘦肉精检测阳性率，确保世博期间肉制品安全
索引依赖是一种特殊的函数依赖,对于存在索引依赖的关系来说,即使按传统方法规范化了,也存在着由于背景内容变更而引起的修改冗余.本文将严格定义索引依赖及其有关的概念、提
本文在文献[1]的基础上,对K-C逻辑细胞阵列的性质进行了更深入的研究,导出了阵列在不同条件下能够实现逻辑函数数目的上界,从而证明了K-C阵列的逻辑完备性问题.对阵列在数字
本文将三维空间中非线性问题计算机图示的方法推广到多维空间中非线性问题,导出了一般多变量非线性问题计算机图示的数学模型,从而为计算机图示多变量非线性问题,获得多变量
大葱芳香、辛温。是人们日常生活中广泛食用的蔬菜及调味品．但人们主要食用葱的茎和少量叶。大部分葱叶被弃掉．尤其是在入冬前冬葱贮藏时，废弃的大葱叶数量是相当可观的。而且大