时态逻辑与程序设计语言

一、概述按照人们的常规,程序设计语言是指计算机能直接执行的机器语言、汇编语言以及其它高级语言,用这些语言描述问题求解的算法,机器能直接执行,并给出问题的解答。近年来计算机领域里提出的时态逻辑是具有强时态语义的语言,它也可让计算机直接执行,因     

高级语言调试工具——PSCOPE

一、PSCOPE的来由高级程序语言是较汇编语言和机器语言更接近于思维活动的语言,它可以使人们用接近于英语的程序语言来描绘出整个思维过程,而经过编译后,可把这一过程由计算机来执行。正是由于这种语言的出现才使人们编写程序面向所要描述的事物,而不是向汇编或机器语言那样在面向事物的同时还要面向机器本身。它给编程人员带来了便利且提高了编程效率。     

直接执行高级语言计算机介绍

本文介绍高级语言计算机体系中的一种新型结构——直接执行结构的基本原理和组成,并以一个简单的程序为例来阐明这种结构执行高级机器语言各基本语句的过程。     

汇编语言与高级语言的接口

一、汇编语言、高级语言的特点与其局限 汇编语言是面向机器的程序设计语言,与具体的计算机硬件有着密切的关系,因此,用它编写出的程序只适用于某一系列的计算机,可移植性差。但由于汇编指令与机器语言指令一一对应,所以,汇编语言可直接利用机器硬件系统的许多特性,如寄存器、标志位以及一些特殊指令等,执行速度快、占用内存少。 高级语言(如PASCAL、BASIC、FORTRAN等)是面向问题的,它与机器的硬件无关,可以在各种不同的计算机上运行,因此可移植性好。但是用高     

MICROSOFT FORTRAN——80参考手册

§1 引言 FORTRAN是一种为简化计算机程序的编制和调制而设计的用途广泛的面向问题的程序语言。FORTRAN语言的名称是英语的公式翻泽(FORmula TRANslator)的字头缩写。使用此语言的句法规则是严格的,并要求程序员将一个问题的各特性用一系列严谨的语句充分明确地表达出来。这些语句称为源程序,它们将由叫做FORTRAN处理器的系统程序翻译成计算机能够执行的程序,即机器语言形式的目的程序。本手册规定了8080和Z-80微型计算机的FORTRAN源语言。它包括了美国国家标准     

程序设计风格问题不容忽视

软件的设计和实现需经历许多步骤,但其最终目标是,要得到计算机可以接受的程序,计算机应能理解这个程序,进而执行它,得到预期的结果。我们把机器能够接受的这个程序称为源程序。到目前为止计算机尚不能接受用设计程序语言PDL写出的程序,通常它只能接受除机器语言     

抽象机的设计和实现

1.编译程序的移植和抽象机 编译程序把用高级语言写的程序翻译为用汇编语言或机器语言写的目标程序,它与程序设计语言及计算机的结构有关。由于目前程序设计语言与计算机的多样性,这就给编译程序的构造带来了沉重的负担。为了更快,更容易地构造各种机器上的编译程序,人们研究编译程序的可移植性。可移植的编译是一种不依赖于操作系统的特殊性质的、独立于具体机器的编译。从可移植性出发,编译程序分为与机器无关的部分及与机器有关的部分。前者只与语言有关,称为与语言有关的转换程序(LDT),后者依赖于目标机,称为与机器有关的转换程序(MDT);两者之间的接口可以是过程调用的方式,也可以是一种中间语言,如下图。     

走入编程的世界

学习写程序是一件很有意思的事,那我们到底从哪里人手呢?计算机从最开始到现在已经经历了从机器语言、汇编语言、高级语言到现在普遍使用的面向对象编程。几个时期,鉴于当今众多的计算机所见所得程序编辑器,我建议大家从高级语言人手,先了解各种语法和计算机编程的思路,再学习诸如VB、VC、DELPHI等面向对象的编程!下面我简单介绍一下几种程序语言的异同。     

汇编语言速成编程法

8086/8088汇编语言(assemble language)基本上是以根据硬件设计而确定的机器固有的指令——对应的符号指令为主构成。它的形式和内容与机器语言更为接近,是以指定机型用的字母和数字符号构成的程序语言。使用汇编语言编程就能直接控制与每条汇编指令相对应的处理器指令周期;还可以处理数据字,并将它     

程序设计语言併发PASCAL

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

PASCAL与其它程序语言的比较

近一个时期,许多微处理机和小型计算机的使用者谈论着高级程序语言Pascal。预言它的应用将会降低昂贵的软件价格。美国一家大的半导体公司早就从事Pascal的研究工作,并决定以它为内部使用的标准程序语言。以这个经验为基础,本文描述该语言同其它程序语言的比较。     

程序与逻辑

本文中给出程序语言在古典逻辑和时态逻辑中的形式定义,并使这种定义保持语言的结构。这样就揭示了程序语言和逻辑语言的关系:程序语言是一种有限制的逻辑语言。它只允许使用计算机易于编译和执行的算子——变元代入、谓词代入、条件算子和μ算子。     

一个直接执行向量ALGOL60语言的计算机

IC技术的成就促进了计算机体系设计的进展,高级语言机是这种形势下出现的一种新型计算机结构,其基本特征是它直接执行高级语言源程序。 本文提出一个直接执行向量ALGOL 60语言的高级语言机结构。它采用一遍预处理方案,在语法检查的同时,将源程序变换成有效的内部形式,变换保持和高级语言结构相对应关系。该系统采用位片式微处理机构成,除具有高级语言机基本特征外,还具有结构简单、灵活和造价低的特点。     

《汇编语言程序设计》典型题解①

一、选择题 １．在计算机的许多应用场合,人们总是用汇编语言来编制应用程序,原因是汇编语言（）。用汇编语言编制的程序称为（）。它需经过（）以后才能在计算机上运行。 Ａ）比高级语言好懂 Ｂ）比机器语言便于编程,且速度比高级语言运行的速度快 Ｃ）比机器语言执行速度快 Ｄ）比其他语言好移植 Ｅ）目标程序 Ｆ）编译程序 Ｇ）解释程序 Ｈ）源程序 Ｉ）安装到计算机 Ｊ）编译并连接 Ｋ）解释 Ｌ）调试 ［分析］对于本题的解答,要求读者了解汇编语言使用的场合及使用过程。因为汇编语言指令与机器指令有一一对应关系,执行速度比高级…     

面向语言的计算机体系结构

引言 目前,大多数计算机用户均采用高级语言来编制程序,用户源程序经编译后得到用机器指令所组成的程序称为目标程序,通常机器执行的是目标程序,与汇编语言书写的程序相比,机器编译出来的目标程序不仅程序长,而且机器执行时所化费的时间长,虽然采用了各种语言优化等手段,但是要接近汇编程序还是比较困难的。其原因是由于编译程序的编制通常是在硬件结构已经确定好以后进行的,因而受到较大的限制,因此较好的办法是硬件结构的设计就要考虑如何加速目标程序的执行。本文介绍一台以科学计算为主。适合 FORTRAN等高级语言的目标程序执行的大型计算机的体系结构设计。在文章的前一部分选取了在通用计算机上进行计算的各种典型题目的程序,对它们的核心部分——循环程序进行数据和程序     

从程序到机器语言的变换

1.程序语言为了得到微型机所处理的结果,就必须把描述这种处理过程的程序写入存贮器。然而,如果不使用以0和1来表示的机器语言,微型机就不能识别和执行。如果用人们难懂的代码表示,既不容易记住,也很容易出错。因此,为了容易地编制出程序,就开发了各种各样的语言。应用最广的是把机器语言的每一条指令用符号表示的汇编语言。此     

汇编语言在当今软件设计领域中能否生存

汇编语言是一门低级程序设计语言,它主要的功能是直接对硬件进行控制.虽然它是一门面向机器的语言,在可读性和移植性方面不及高级程序设计语言好,但用它所编写出来的程序能够在各种控制芯片上直接执行,具有效率高、反应快的特点,这是其它高级程序设计语言所无法超越的,所以汇编语言在当今软件设计领域中是无法被其它高级程序设计语言所替代的.     

C＋＋与C的比较

C是个强有力的程序设计语言。它所提供的各种特点有助于写出简单明了、有效且易于维护的程序。 C语言原是贝尔实验室Dennis Ritchie为DEC PDP11机写UNIX操作系统而创立的。UNIX系统本身、C编译程序及大部分UNIX系统下的实用程序都是用C写的。因此,C的设计思想是基于面向机器的,具有许多机器语言的特点,比如有许多地址操作和位操作,可直接使用机器寄存器,可进行存贮分配等,但作为一个高级语言,又具有高级语言的特点,如具有很丰富的高级数据类型和高级程序结构。     

论计算机语言

1954年第一个完全脱离机器硬件的高级语言-FORTRAN问世了40多年来共有几百种高级语言出现。计算机语言主要分4类:低级语言、高级语言、专业语言、以及脚本语言。从最初与计算机交流的痛苦经历中,人们意识到,应该设计一种这样的语言,这种语言接近于数学语言或人的自然语言,同时又不依赖于计算机硬件,编出的程序能在所有的机器上通用。     

COBOL程序设计

<正> 美国国家标准COBOL(ANS COBOL)是一种计算机高级程序设计语言。用类似于英文的词和句法书写程序,然后用计算机把这个源程序翻译成机器语言,产生目标程序。这个翻译过程称为编译。计算机期望找到该语言的某些元素去作出反应。若某些词拼错了,或未标出某些所需的标点,编译程序就不能起作用。程序的某些元素必须放在专门的列里。COBOL语言要求你在程序设计中一丝不苟。它能通过