教学课程资源库 更多>>

关键词： 指向   PLZ/SYS   表达式   定义   符号   标识符   程序设计语言  

摘要： 序言本报告描述一种称为PLZ/SYS的程序设计语言,以帮助实现微计算机的系统程序。PLZ/SYS是现代程序设计语言和编译程序各种概念的综合——Pascal语言在PLZ/SYS的全部设计和实现中有着最显著的影响。为了尽可能清楚地反映这种关系,本报告写成修正的Pascal报告的重点编辑文本。除了Pascal之外,其它若干种语言如Euclid、Mesa、C和SIMPL也都具备一些有影响的特性,导致PLZ/SYS中含有与它们类似的结构。我们愿意感谢***教授和Springer—Verlag允许我们使用下列图书的各个部分: Jensen,K./Wirth,N.:PASCAL—user Manual and Report,2ndedition,copyright 1975 Springer—Verlag,Berlin—Heidelberg—Never York

关键词： 形式逻辑   语义论   程序设计语言   逻辑表达式   谓词   循环语句   条件语句   定义   逻辑学   实词   逻辑符号   算法研究  

摘要： 本文是一篇算法逻辑的综述文章。对什么是算法逻辑作了有益的探讨,并对当今有代表性的算法逻辑,如 Hoare 逻辑、salwicki 逻辑、Dijkstra 逻辑等作了介绍,还提到了算法逻辑对软件工程的作用以及和数据库理论的关系。

关键词： 数字控制机床   程序设计   CL数据   程序设计语言   数值控制   机床  

标准号: DIN 66215-2-1982

摘要： Programming of numerically controlled machines; CLDATA; minor elements of type 2000 records (post-processor commands)Zusammenhang mit der Internationalen Norm ISO 4343 der International Organization for Standardization (ISO), siehe Erl?uterungen.

关键词： 常数   纯量   标识符   变量名   数学   表达式   变量表   循环语句   函数   BASIC   BPL  

摘要： BPL 是从 BASIC 和 PASCAL 语言引伸出来的一种人机对话语言。这种语言是按两层设计的,它不但迎合了初学者,也迎合了有经验的程序员。较低一级语言非常类似于稍加改进的 BASIC,具体地说是对过程/函数说明和控制语句的改进。较高一级语言编入了在 PASCAL 中所采用的大多数灵活的数据结构。由此产生的这种语言提供了 BASIC 和 PASCAL 两种语言的优点。

关键词： 归纳法   计算方法   计算机程序   定理证明   人工智能   归纳定义   研究者   引理   LISP   程序验证   递归函数   递归论   程序设计语言   概念   思维形式  

摘要： 机械定理证明是计算机程序推理自动化的关键部分。现在,几乎没有几道计算机程序能机械证明是无“错”的。其主要原因是缺乏机械定理证明的能力。 在当前有关自动程序分析的研究中,克服缺乏机械定理证明能力的常用方法是,要求用户指

关键词： 风洞试验   风洞模拟试验   程序设计语言   风洞测试  

摘要： 本文介绍了我们研制成功的风洞试验程序设计语言,提出了在一种面向问题的过程控制语言中实现并发性的思想。

关键词： M6800   Modula   模块   模件  

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

关键词： 语言设计   领域   程序设计语言   形式定义   发展趋向  

摘要： 大约十年以后,在诸如结构程序设计,规格说明,验证和语言设计各方面的进展将使程序设计变成一门真正的工程学科。＊＊＊程序设计语言,和围绕着程序设计语言的研究代表了在计算机科学里一些不太难于理解的东西。一方面,尽管前途光明,但却很难证明最新的语言—20年来研究的结果—已经对软件问题产生了重要的影响。确实,存在着证据一大部分程序本文使用非常简单的结构。因此我们可以推断,由于很少使用较新的“功能更强”的语言功能,所以也不可能对实际程序设计产生重要的影响。另一个证据

关键词： 不断线   程序语言   语言课   计算机程序设计语言   电子计算机技术   毕业设计(论文)   微处理机  

摘要： 近三年来,我校在教学中积极引入电子计算机的内容,对教学工作有较大的促进。目前全体在校学生平均每人上机时数已达10小时,计算机系在校学生平均每人上机时数已在45小时以上。全校二年级至五年级学生除个别专业的班级外,都学习了一、二种计算机程序设计语言。七七级毕业班在毕业设计(论文)中除个别专业外,学生都不同程度地使用了计算机,取得了较好的效果。这对于这届毕业生今后到工作岗位上,在使用计算机方面打下了良好的基础。