VAX／VMS Ada编译产品分析

Ada语言较其它高级语言具有更多的特色。Ada编译不仅产生Ada源程序(.ADA)的目标文件(.OBJ),同时还产生其它两种特有的产品,一个是拷贝源文件,另一个是编译单元文件。     

VAX／VMS Ada语言目标结构及优化分析

应用Ada语言编写出Ada源程序,通过在编译中加特定的命令词,从而产生相应的列表文件。通过阅读相应的优化前后的该列表文件,对Ada语言的各种语句、过程等相应的目标模块进行分析。在列表文件中能够看到的只能是以汇编语言写成的目标。而产生该目标的详细过程,则待分析编译程序本身方可得知。下面给出各种语句优化前后的目标结构及分析结构。     

C语言与汇编语言编写的软件相似性鉴定

在软件相似性鉴定中,笔者遇到了一个C语言编写软件和汇编语言编写软件的相似性鉴定,在过往的几个相似判决案例中,鉴定机构都直接比对了目标代码,且在其中一份判决案例中直接提到了在二进制代码实质相同的情形下,存在用不同语言编写的源程序的可能性极小。而在本案中,经过试验求证,发现相同的目标代码是可能来源于不同语言编写的源代码,而且C语言源代码和汇编语言源代码之间存在转换关系,C语言源代码可在编译中生成汇编语言代码,而C语言源代码生成的目标代码也可反编译成汇编语言代码,从而进行进一步的比对,这种比对,在原被告都提供了与目标代码对应的源代码的情况下,比只比对目标代码显然更具有说服力。     

基于图元装接模式由程序流程图自动生成源代码

针对程序流程图到代码自动翻译过程中,通常需要经过代码优化及二次编程,翻译效率不高,提出基于图元装接模式的流程图到C语言源程序转换的解决方案,实现流程图到源程序的双向转换。由图元同步产生代码元,通过装接自动生成程序代码。所生成的程序代码无需修改,可直接编译运行。通过词法分析,识别并产生代码元和对应图元,可逆向生成流程图。其有效性在原型系统中得到了验证。     

VAX／VMS Ada编译程序的结构与功能

《Ada编译程序系统剖析》是我国七·五期间军用计算机研制计划中的主要课题之一。其目标是以VAX/VMS Ada编译程序系统的目标码为对象,搞清该系统的结构、功能、方法和接口技术。从Ada编译及其环境各方面介绍了Ada编译系统的结构、所采用的编译方法、各遍扫描的任务和相互接口、中间语言的形式、Ada任务与异常的实现以及与操作系统VMS的接口等技术。     

Ada语言可重用性技术方法研究

Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。     

VAX／VMS Ada编译优化功能,结构和方法

Ada语言一个显著的特点是可用于实时控制,要求目标代码的质量很高,所以优化(包括时间,空间)在编译中占有举足轻重的地位。优化功能在Ada编译中是个可选项。编译时,如果加入命令项/NOOPTIMIZER,则不进行优化处理,否则,就对之进行优化处理。由此可知,优化程序在编译中是完全独立的部分。VMS支持下的Ada编译优化功     

Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实     

CPCC抽象语法树的三地址码生成

为了便于代码优化及指令生成,在并行C语言编译器CPCC（Concordia Parallel C Compiler）将源程序的抽象语法树（Abstract Syntax Tree, AST）转换成目标机PAAG（Parallel Array Architecture GPU）处理器的汇编代码时,采用了三地址码作为中间表示形式。基于CPCC AST的结构特点,将AST到三地址码的转换分为三类,即一般表达式的翻译、布尔表达式的翻译以及语句的翻译,并给出了其详细设计思路及是实现方法。实验结果表明,该方案实现了从源码的抽象语法树到三地址码的转换。     

面向对象软件测试引擎的设计和实现

为了减少软件测试的工作量，提高软件测试的效率，非常有必要开发计算机辅助的软件测试工具。本文基于已经实现的分别面向C／C^ 和VisualBasic语言的计算机辅助软件测试工具为基础，介绍了面向对象软件测试引擎的设计和实现。该引擎以中间数据库为核心，使用语言分析器对源程序进行基于块的划分，然后完成代码插装和编译连接，为自动测试模块提供可执行的经过代码插装的程序而不是源代码，从而提高了测试工具的通用性和重用性。     

谈C语言中的编译预处理运用技巧

编译预处理是在编译前对源程序进行的预加工。在Ｃ语言的编译系统中由预处理模块来完成。其执行过程中是这样的；首先对源程序进行扫描，对Ｃ语言中的几种预处理语句进行分析和处理、而后再进行正式编译，以形成目标代码。 预处理语句往往以“＃”开始，末尾未加分号，以区别于     

VAX／VMS Ada编译后端转换技术

前端完成了语法分析和静态语义分析,产生了表示语法结构及静态含义的中间结果—Diana树。这一级的中间结果完全依赖于Ada源语言本身,不含有与机器有关的信息,且树形结构不利于代码生成。因此后端的一大任务是将中间树进行改造,填入运行时所需信息,并产生有利于代码生成的线性化中间结果,这一阶段称之为树的转换阶段。     

VAX／VMS Ada编译代码生成技术

代码生成部分的输入是线性化的低级中间语言,且符号节点含有地址存贮信息(经过DATALLOC/DAT_ALLOCATE_FROM_VCG子程序处理),代码生成部分的输出是伪目标代码,所谓伪代码是由于分支转移地址问题还未解决,指令流是由双链表表示而不是目标模块,代码生成后还要对机器指令双链表进行如下处理:寄存器及窥孔优化,分     

Ada语言回顾与展望

本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。     

VAX／VMS Ada编译语义剖析

语义分析具体体现了Ada特性的实现,这一部分是Ada编译较重要的一部分,包含有29个模块约985个子程序,并涉及到与库打交道的输入输出。一、Ada语义分析的功能语义分析阶段穿越抽象语法树(AST),派生出编译单元的静态含义表示,完成Ada     

CLPDetector:一种基于伪孪生网络的跨语言代码抄袭检测工具

近年来,随着不同编程语言代码自动转换工具的出现,跨语言的代码抄袭检测问题受到了越来越多的关注.现有跨语言代码抄袭检测主要包括传统的基于中间特征的检测方法和近年来出现的基于机器学习的检测方法,后者在检测模型训练完成之后具有更好的检测速度,是当前跨语言代码抄袭检测的研究热点.然而,现有的基于机器学习的跨语言抄袭检测方法大多将代码作为文本来处理,未考虑代码的结构特征.结合代码基于抽象语法树的结构特征,本文提出了一个基于伪孪生神经网络框架的跨语言抄袭检测工具CLPDetector.该工具将训练数据中的源代码对转换成对应的抽象语法树,基于抽象语法树生成代码的向量表示,然后将结合BiLSTM、CNN和Attention的深度神经网络嵌入到伪孪生网络架构中训练抄袭检测模型,从而实现了跨语言代码抄袭的检测.为了提高检测精度,首先,在训练检测模型前,利用基于抽象语法树的skip-gram算法对词向量进行了预训练,并基于程序依赖图删除了训练数据集代码中的冗余代码.其次,在代码抄袭检测阶段,提出了一个基于属性计数的过滤器,用以排除不可能抄袭的代码对,提高检测效率.实验中基于一个开源的数据集,以Java代码和...     

Ada软件集成开发环境的设计与实现

作者在Windows 3.0上设计开发了一个Ada软件集成环境——ASIDE,它集多种软件工具(包括编辑器、编译器及键接器)于一体,采用多窗口和菜单以及鼠标枝术,为用户编辑、调试和运行Ada源程序提供了一个良好的环境。     

从软件工程看Ada程序设计语言

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。     

VAX／Ada调试符号表的形式化描述

本文叙述了分析研究调试符号表(DST表)的意义和目的,介绍了DST表提供的基本信息,对由VAX/Ada生成的支持Ada源程序调试的调试信息——调试符号表进行了形式化的描述,给出了快速查询DST表的运行符号表(RST表)的数据结构。     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。