教学课程资源库 更多>>

关键词： 程序综合   所有   常数   可实现性   数学   推理规则   存在定理   程序设计语言   人工智能   定理证明   证明程序   赋值  

摘要： 本文首先就此题目进行简单的历史性述评和非形式的介绍,接着回顾理论上的新成果,指出如何从存在性证明推导高级语言程序,进而引入一个简单的形式体系,用它来论述树结构、语义网络、顺序文件、数据库和编译程序中语义属性处理程序的综合技术。

关键词： 语句   描述子   堆栈指示器   M6800   Modula   中断优先级   进程   程序计数器   指令计数器   微机   微型计算机   模块   模件  

摘要： 提出一种优先级硬件线路方案,以扩充M6800的中断优先级处理功能,使之适应于Modula的应用环境所要求的实时多道程序设计。在此基础上探讨了Modula所特有的设备模块(device module)这一语言成分在实现中的一些问题,主要是,设备进程中doio,wait,send等诸语句的实现以及与此有关问题。

关键词： 函数式程序设计   向量   内积   工程设计   软件工程   程序设计语言  

摘要： 软件工程设计与程序设计语言的关系至为密切。在某种意义上可以说,程序设计语言在软件工程设计中具有关键作用。作者讨论了软件工程设计中的问题,指出了传统的程序设计语言的本质缺陷,介绍了John Backus的FP系统,并对今后的发展提出了一些想法。

关键词： 电气工程   数据处理   信息传递   程序设计语言   程序设计   FORTRAN语言   子列程   计算机程序   核技术   剂量计   计算机自动测量和控制   辐射计  

标准号: IEC 60713-1981

摘要： This standard covers requirements for subroutines for CAMAC systems as defined in IEC Publication 516. Its application shall not conflict or cause conflict with the mandatory requirements of publication 516. The recommendations presented are of primary i

关键词： 模块   编译程序   抽象数据   符号表   数据类型   移出   模件   编译器   面向过程语言   结构化语言   程序设计语言   局部数据   程序员   局部对象   定义   编译   标识符   语句体  

摘要： 程序设计成功的关键是寻找数据和程序的“合适”结构。这里介绍一种称为模块(Module)的程序设计语言概念作为有效地划分系统的手段。模块使得局部细节隐藏起来,并且明确地指明那些是模块之间接口的部分。这里介绍的模块是语言Modula-2的成分。并且讨论了分开编译,以及把一个模块分成定义(接口)和实现两个部分的问题。

关键词： 课题   工作量   劳动量   应用软件产品   小组   截止时间   软件   支配作用   用户手册   文件资料   代码   APM   程序设计语言   规格说明  

摘要： 两个小组按同样的规范开发一个小的交互式应用软件产品,一个小组使用Fortran,另一个小组则使用Pascal。检验了几个假设,收集了范围广泛的实验数据。主要的结论如下: ·大型课题的软件工程设计过程可以很经济地分成若干小的课题。·在小的应用软件产品开发中,程序设计语言的选择并不是起支配作用的因素。·在小的应用软件产品开发中,程序设计不是起支配作用的活动。·在小型软件课题中存在“截止时间影响”,而且它可用于帮助管理软件开发。·小的应用软件产品中大多数代码都用于“辅助工作”。本文列出了支持这些结论的实验数据,并讨论了它们的范围及其含义。

关键词： 程序   标识符表   变量参数   Pascal   ISO DP/7185   定义域  

摘要： 0.本草案序言 Pascal语言是由沃恩(N. Wjrth)教授设计的,其主要目的在于: (a)使一个适合于把程序设计作为一种系统的科学来教的语言,成为可采用的语言,而这种系统的科学,是建立在该语言所清楚而自然地反映的某些基本概念的基础之上的。

关键词： 软件   领域   计算机语言   程序段   水文   程序设计语言   源程序  

摘要： FORTRAN、ALGOL、BASIC等程序设计语言的普及,大大促进了计算机在水文中的应用。我国现正处在这样的发展阶段,大体上相当于国外六十年代初期的水平。下一步将朝什么方向发展?在水利部与电力工业部1979年6月共同下达的1978～1985年水利水电科学技术发展规划重点研究项目(草案)中,提出了要进行“水利水电系统面向问题语言及通用性软件系统的研究”,以及“建立水文、泥沙

关键词： 简单表达式   标识符   系统程序设计语言   程序语言   指引元   XCY   模块   模件   正负号  

摘要： 本文简要介绍系统程序设计语言XCY的设计思想、设计原则、设计目标以及各有关成分的设计考虑,特别着重阐述数据结构、模块、路径等成分的设计。

关键词： 并行语句   处理机   运行状态   程序设计语言   风洞测试   解释执行   暂停状态   挂起状态   软件   源程序   执行过程   终止语句   并发性   调度策略  

摘要： 本文提出了在面向问题的过程控制语言中实现并发性的思想,以及在实际应用中的价值.