课程文献中心 更多>>

关键词： 指引元   位串   标识符   字位   字符串表达式   L0   NDHD   软件  

摘要： NDHD软件自动产生系统是一个基于系统程序设计语言和自展技术的系统。核语心言L的自编译程序AC(用655机的机器语言编写的)是这个系统的基础。利用自展技术,可依次自动产生出以下各层语言L,…L的自编译程序。目前,已由本系统成功地产生出第一代和第二代自编译程序。结果表明,不仅生产率提高了四倍,而且编译程序的功能亦有显著扩充。本文给出了核心语言L的定义。

关键词： 变量参数   作用域   指称   指引元   标识符   Euclid   程序设计语言  

摘要： 设计程序设计语言Euclid的目的是为了便于构造可验证的系统程序。所谓可验证的程序指的是这样编写的程序,使得现有的一些证明程序特性的形式方法对这些程序可以立即适用,证明可以是手工的,也可以是自动的,并且我们相信,在上述两种情形(指手工证明与自动证明——译者注),其考虑方法是类似的。所谓系统程序是指程序在一台机器上运行时构成那台机器的基本软件的那部分程序;这样的软件可以是一个操作系统的内核,可以是一个数据库管理系统的核心,或者是一个编译程序。

关键词： 动态数组   个数   内层   含义   程序   标识符  

摘要： 第一节分程序在本节中,我们从一个简单的例子引出分程序的概念,其目的着重是为以后处理半动态数组与过程作一准备。

关键词： 地址   标识符   名字   字符指令   程序块   执行动作   外存   语法   文法  

摘要： 1.引言 1.1 职能 本语言提供一套语句。这些语句反映目前常用的一部分机器的共同特征。在系列软件移植的工程中,本语言是联系各具体机器的中间语言,并且作为系列软件的任何编译系统的目标语言。 本语言也可直接描述任何编译系统或计算

关键词： 标识符   字符   个数   整型数   ALGOL-60   算法语言   ALGOL语言   程序语言   实型数   幂指数   程序   数学  

摘要： 第二章 数、标识符、变量 一、数 在我们解题编写程序时,常要涉及一些已知的具有固定数值的数,这种数叫作“常数”,如第一章末所举例子中的2和3.14159。下面介绍在算法语言中常数的分类、写法与使用中的注意事项。

关键词： 数据处理   作标记   记录   长度   规范   信息交换   磁带   文档   数据块   记录工程   信息交流   逻辑结构   逻辑器件   信息标志   标识符   数据布置   加标签  

标准号: NF Z62-211-1976

摘要： La présente norme spécifie la structure des fichiers pour l'échange d'information et les étiquettes enregistrées magnétiquement pour identifier les fichiers, les subdivisions de fichiers et les *** présente norme définit quatre niveaux de rapports entre les formats d'étiquettes, la structure de bloc et les marques de bande relatifs aux bandes magnétiques enregistrées de telle sorte que ces volumes puissent être utilisés pour l'échange d'*** bande magnétique enregistrée destinée à être échangée entre différents systèmes d'architectures potentiellement différentes est censée correspondre à l'un de ces niveaux. Les contraintes de cette norme peuvent ne pas nécessairement s'appliquer à des données non destinées à l'échange entre des systèmes d'architectures potentiellement diffé*** présente norme ne vise pas à l'inclusion obligatoire de toutes ses dispositions dans toutes les réalisations, mais plutôt à rendre chaque réalisation capable de produire et d'accepter des volumes qui soient conformes au niveau choisi par le ré*** non-conformité à la présente norme risque de rendre impossible un échange correct d'informations.

关键词： Wear  

关键词： Wear  

关键词： 图形显示   标识符   对象   子图   SK-1   功能键   程序段   显示装置  

摘要： 一、前言计算机图形显示在计算机绘图中,称之为'交互计算机绘图'。使用'交互'这一术语,是为了区别计算机绘图的其他重要分支,如数字绘图仪、静电图形印刷及其他用以产生图形的装置。无疑,这些都是非常重要的,但它们不具有使用户和计算机进行'会话'的能力。而图形显示的一个重要特点就在于它可以使用户借助于光笔、键盘或其他类似的图形输入装置,以显示图形为媒介,对计算机内的数据进行操作处理,实现用户和计算机之间的交互作用。正是这一特点,使它不仅可用做高速、多用途的输出装置,而且更重要的是可做为一种人机通讯的工具。近几年来,计算机图形显示越来越引起人们的重视,应用范围也日益广泛。目前,在国内也开始引起有关部门的重视,逐步将其应用于过程控制和设计领域中。