教学课程资源库 更多>>

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

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

关键词： 语句   词元   程序设计语言  

摘要： 直接执行计算机(DEC)结构能使程序设计真正成为交互式的,其可作为程序设计语言的完善定义的工具,并提供衡量程序设计语言复杂性的一种尺度。本文在详细研究DEC结构与程序设计语言之间的上述三种关系之前,先描述DEC的组织并勾画直接执行的过程。这样,就把DEC与间接执行计算机及诺伊曼(von Neuann)型计算机区别开来了。DEC执行高级语言程序的词元而不执行编

关键词： 程序设计语言学  

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

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

关键词： 语义模型   清单   函数   定义   实现方案  

摘要： 以[1]中FP语言的功能性语义模型作为核心,本文论述该语义模型的一种可实现方案。形式地阐明围绕核心的各成分的功能,而后将它们与核心综合起来,就形成该方案。在配有方便地表达树结构的程序设计语言(如LISP,PASCAL)的、传统的计算机上可实现此方案。

关键词： 表达式   左值   标识符   括号   指向   函数调用   字符串   结构数组  

摘要： 第六章 结构 结构是一个或几个变量的集中,其变量的类型可以不同,为了便于处理才聚集于单独的名之下。(在有的语言中,譬如非常著名的Pascal,将结构称为记录)。 结构的传统例子是工资单这种资料:雇员由姓名、住址、社会安全号、薪水等一系列属性来描述。它们中的某些又可以是结构,名字

关键词： 计算机程序设计语言   ANS   委员会   美国   结构化   美利坚合众国   北美洲   机器语言   源程序   软件  

摘要： COBOL是一种设计来解决商业上的数据处理问题的计算机程序设计语言。很多年以前, 在美国政府的赞助下,一个国家委员会和大多数计算机制造厂商的代表一起研究了多种版本的COBOL;那时几乎每台大计算机系统都有其自己的版本。后来,该委员会采用的标准化的COBOL

关键词： 数据表示   程序设计语言   语言   元语言   句法   语言学   字符集  

标准号: BS 6154-1981

关键词： 虚拟机   代码   抽象程序设计   计算机操作系统   程序设计语言   小型计算机   虚拟处理机   编译程序   编译器   PASCAL  

摘要： 本文叙述程序设计语言并发Pascal的一个七遍扫描编译程序。并发Pascal是为计算机操作系统设计的抽象程序设计语言。该语言用结构式并发程序设计中的管程(monitor)概念扩充了顺序Pascal。在小型计算机上,并发Pascal的编译可分为七次顺序扫描来完成。编译程序本身用顺序Pascal书写。编译程序生成的是虚拟机代码。这些虚拟机代码可以在16位的小型计算机上进行解释。从1975年1月起,该并发Pascal编译程序已在Galtech的PDP-11/45计算机上运行。

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

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