课程文献中心 更多>>

关键词： 递归调用   自然数   正实数   抽象数据   数据类型   基本概念   GCD   程序变换   赋值   形式说明   函数集   尾递归   变换规则  

摘要： 本文系统而概括地论述了程序设计思想的演变,程序变换技术的基本概念、原理和方法,提出了实现程序变换系统的一些设想。

关键词： 数据类型   定义   数据抽象  

摘要： 本文从Ada所提供的设备,回顾了在过去十余年间程序设计方法学的发展。按照当代软件工程的实践,本文分析了程序设计中的三个重要问题:抽象、模块化与多任务处理。Ada体现了许多当代程序设计语言中出现的新思想,反映了在过去十余年间人们在程序语言与软件工程方面所学到的东西。

关键词： 虚拟存贮器   基址   ADA   地址   逻辑   一级存贮器   iAPX432   GDP   变址   寻址模式   数据类型   数组   描述符   处理机  

摘要： iAPX432微型主处理机是最新的设备,它不同于目前的许多微处理机,也不同于四十年代早期的机电模拟计算机。 iAPX432系列产品不仅代表一种新结构,还对降低成本、缩短软件加强型μC应用

关键词： 进程   CSP   向量方程   定义   非确定性   分布式程序设计   语义学   程序设计语言   表达式   数据类型   并行操作   联机操作   顺序程序设计   分布式系统  

摘要： 通信的顺序进程(Communicating Sequential Processes)是***教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。

关键词： 定义   M6800   BASIC   结构程序设计   标识符   数据类型   语言编程   标点符号   语言文字符号   计算机系统   电脑系统   标量   过程控制   计算机控制   分量  

摘要： 五、微型机系统常用的语言简介早期的微型机系统多使用汇编语言,但汇编语言不如用高级语言编程方便,用高级语言是编程的发展方向,因此微型机系统逐渐配备了各种高级语言编译器等软件,以便使用高级语言编程。MDOS系统有BASIC、FORTRAN、COBOL等高级语言。简介如下:

关键词： 函数   程序   结点集   FP   数据类型   定义   并行性  

摘要： 本文旨在探明函数式程序设计(FP)语言这类非常高级语言所固有的表达并行计算的能力。先形式地引入图程序这样一类具有高度并行性、构造性和递归性的程序(熟知的数据流程序仅仅是它的一种简单特例)。之后,形式地论述了“FP语言能够表达图程序”,而且表达得较为自然。

关键词： 分量   地址   数据类型   数组   值域   计算公式   字节   程序段   编译程序   编译器   字位  

摘要： 本文着重讨论紧凑数据类型的处理算法及根据实现经验对紧凑类型的评述。

关键词： 语言概念   作用域   系统程序设计语言   程序语言   美国国防部   程序员   ADA   计算机语言   程序编译   标识符   六十年代   结构程序设计   数据类型  

摘要： 自从数字电子计算机问世以来,一共创造了多少种高级语言,这个问题恐怕谁也说不清楚,据Sammet估计,从1952年第一个程序设计语言(UNIVAC公司的Short Code)出现开始,到1972年为止的20年间,已经产生了好几百种语言。单是在美国,1972年就有170多种语言在使用,其中约有一半是专用语言。Wulf的估计超过了Sammet,他认为到七十年代末期,仅美国使用的军用语言就不下两千种。可是在1974年,美国国防部刚刚开始酝酿设计一种全军统一使用的语言(ADA)时,他们估计美国的军用语言总数约为500种。问题就是这样,要末有些估计与事实出入太大,要末就是计算机语言的总数在按某种指数

关键词： 进程调度程序   上限   PT   陷井   陷马坑   HEP   数学   常数   通用寄存器   AC   单元地址   数据类型   基地址   地址格式   电话设备   排队器   字段  

摘要： 一、引言异构处理机(HEP)是一种大型科学数字计算系统。可同时执行许多串行或并行的程序,可组合起来执行大型运算课题。该系统的特点是:执行64位的浮点算术运算,实际存聍容量为12800万字,有单错校正双错检测能力(SECDED)和高性能的文件子系统;其模块设计允许系统字段扩充和可编程序的重新组合,以在部分系统难修期间能保持绝大部分系统照常运行。HEP系统的主要模块说明如下:

关键词： 表达式   实体   微处理机   赋值语句   MPL   数据类型   结构化  

摘要： 目前使用的微处理机语言不下二十种,其中风格迥异,各有千秋。本文试图对这些语言整理分类。