教学课程资源库 更多>>

关键词： 软件   数学   六十年代   五十年代   自动机理论   程序设计语言   计算机   计算机科学  

摘要： 这篇论文探讨四种有影响的计算机科学的定义:1.计算机科学是研究与计算机有关现象的科学,Newell,Perlis和Simon,1967.2.计算机科学是研究算法的科学,Knuth,1968.3.计算机科学是研究信息结构的科学,Wegner,1968,课程68.4.计算机科学是研究和管理复杂性的科学,Dijkstra,1969.第一种定义反映一种经验传统,因为它断言计算机科学从事研究一类现象.第二和第三种定义反映一种数学传统,因为算法和信息结构是从计算机科学的现象中得到的两个抽象.第四种定义反映在管理复杂的软硬件系统构造中遇到的工程问题的极度复杂性.第一节内容为,在五十年代,计算机科学为经验研究态度所支配,在六十年代为数学研究态度所支配.在七十年代,为工程态度所支配.第二节说明这三个发展阶段如何反映在程序设计语言中.其余几节详细地考察经验的、数学的、工程的研究态度如何影响计算机科学的发展.第三节指出,虽然计算机科学的现象为人所创建,但是利用自然科学的经验技术,却可以研究它们.第四节把从事研究单个算法的"微计算机科学"和从事研究说明所有算法的机构和记号的"宏计算机科学"加以区分,把程序和计算系统在内涵上"如何做"说明和在外延上"做什么"说明加以区分.第五节将软件工程中使用术语"复杂性"和算法分析中使用术语"复杂性"加以区分,并建议用不同的术语表示这两类复杂性.最后一节指出,计算机科学中各种各样的研究态度可以解决在决定如何培养计算机科学家中的困难,也可以解决关于计算机科学研究性质的意见分歧.

关键词： 自动控制系统   计算机辅助测量和控制   数据处理   数字电路   电子工程   FORTRAN语言   信息处理   程序设计语言  

标准号: ANSI/IEEE 758-1979

摘要： Describes a set of standard subroutines to provide access to CAMAC facilities in a variety of computer-programming languages. It is specifically intended that the subroutines be suitable for use with FORTRAN, although they are not restricted to that language.

关键词： 表达式   求值   DO   程序员   Fortran 77   语句   程序设计语言   子例行程序   双精度   程序系统   计算机系统  

摘要： 新的标准Fortan,正式名称是"美国国家标准程序设计语言Fortran,X3.9-1978",但通常称它为"Fortran 77",因为它的研制是在1977年完成的。它代替叫做X3.9—1966的Fortran标准。本文描述Fortran 77的许多特点,并且也提供一些有关研制此标准的方法和理由。

关键词： 进程树   语句   信号灯   指示灯   信号设备   PLATON   子进程   序列   参数表  

摘要： 本文描述一种叫做platon的高级语言。它包含动态进程系统的分层控制和使用排队信号灯的共行进程间通讯的机构。这语言已在RC3500小型计算机上实现。

关键词： 管程   数据结构   定义   PASCAL   进程调度   虚拟盘   程序设计语言  

摘要： 1.併发PASCAL的目的 1.1 背景 从1972年以来,我一直在研究一种为计算机操作系统进行结构程序设计的新程序语言。这个语言叫作併发Pascal。它扩充了顺序程序设计语言Pascal,使其具有称为进程(pr-ocess)和管程(monitor)的併发程序设计的工具。 本文是对併发Pascal的非形式描述,它使

关键词： FORTRAN   语句   结构程序设计   程序设计语言  

摘要： 本文讨论结构ＦＯＲＴＲＡＮ语言的特点并给出ＴＱ—１６机结构 ＦＯＲＴＲＡＮ语言的实现方法。

关键词： 面向问题语言   字(数据)   输入输出程序   数据输出   CL数据   数据输入   程序处理机   程序设计语言   机床   数据传送   数据处理(软件)   数值控制  

标准号: BS 5110-2-1978

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

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

关键词： 程序设计语言   情报系统   FORTRAN语言  

标准号: ANSI X3.9-1978

关键词： Pascal   概念   思维形式   定义   程序员   软件工程   数组   操作系统   计算机系统   数学公理   文件   序列   编译程序   编译器  

摘要： ——评论程序设计语言Pascal是以“可靠的程序设计”为指导思想并在使用此语言达五年经验这一背景下进行的。选择的一些特点指出其存在的问题,或是固有的或是特有的,从中我们可以得出一些关于可靠的程序设计之语言的设计或选取的启示。在讨论的一些特点中有数据类型概念,顺序的文件结构和并类型。