可移植编译程序的代码生成

本文给出了对自动化可移植代码生成技术的分类,并对有关这些技术的工作进行了综述。可移植代码生成的研究方法共分三类:解释代码生成,模式匹配代码生成以及表驱动代码生成。解释代码生成方法是先为虚拟机生成代码,然后再把该代码扩展成实际目标代码。模式匹配代码生成方法是把机器描述和代码生成算法分离。表驱动代码生成方法是利用形式化的机器描述和代码生成程序的生成程序,自动构造代码生成程序。本文对这些技术进行分析,并对各种自动代码生成算法进行评述。     

BISE Ada8086／8096交叉转换系统的设计与实现

本文给出了基于机器代码程序交叉转换的Ａｄａ交叉转换系统的设计方法和实现细节，简述了系统的基本构成和工作过程，指出了掌握代码交叉转换技术的重要意义。该系统的成功实现，为用Ａｄａ开发单片机应用软件提供了强有力的工具。     

动态二进制翻译中的指令调度技术研究与实现

动态二进制翻译提供了无需重新编译源代码就能将源机器生成的可执行代码自动转换到目标机器的方法,很好地解决了代码兼容性问题.其核心思想是根据程序的动态运行信息找到反复执行的代码序列,对代码序列进行翻译和优化,并将结果多次重用.指令调度作为一种有效的编译优化手段,也适用于动态二进制翻译.在对gcc的指令调度器分析研究的基础上,结合动态二进制翻译的实时性特点,提出了适合动态二进制翻译的效率高、开销小的指令调度算法.     

基于编译原理的四则混合运算器的实现

计算机只能执行机器代码,只有专业程序人员才能较好地使用此类语言。因此编译程序已成为计算机系统的最重要的系统程序之一。本文主要通过对四则混合计算器的软件的设计分析讲述了编译程序的工作过程及具体实现。     

渐进式智能回溯向量化代码调优方法

为了充分发挥高性能计算机的计算能力,缓解程序员设计和编写并行程序的压力,扩充可用软件集合,设计并实现了利用交互界面深入挖掘程序中的可向量化语句,优化生成代码中的向量化语句,提高生成代码的执行效率.该方法对充分发挥高性能计算机的计算能力,增强系统可用性和扩展应用范围具有重要的意义,同时能够提供有效的辅助手段和工具支持.渐进式智能回溯向量化代码调优架构通过对用户提交的串行程序进行程序分析和变换,采用串行程序分析、数据依赖分析、向量化分析等技术手段,根据分析结果对程序进行变换和优化,自动生成最终的向量化代码.该方法通过分析串行程序中潜在的并行性,将其自动变换为等价的向量化代码形式,大大简化了程序员的工作.     

动态二进制翻译中的冗余LOAD删除优化技术

动态二进制翻译系统是根据程序的动态执行信息来将源机器上的可执行代码翻译成目标机器上的可执行代码.在翻译成中间表示的过程中会产生一些冗余的LOAD指令,为提高代码的执行效率,提出对这些LOAD指令进行冗余删除优化.该优化技术可以使优化效果超过其自身的开销,达到优化的目的.     

非原子性异常处理的静态分析

异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写,否则可能破坏程序的一致性。提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法。     

分析Z80汇编程序的软件工具

系统程序一般是由汇编语言写成的,一般厂方只提供只能使用的机器代码级目的程序(.COM文件),或像库程序那样是具有特殊位串结构的.REL文件,故要详细了解这个软件的工作原理或改进这个软件就非常困难。最近我们在DEBUG和LINK的基础上改造了两个新的软件RECORD和LINK 1,LINK 2,它们可用来帮助我们恢复.COM文件和.REL文件的源程序.Z 80文件。     

深度程序理解视角下代码搜索研究综述

代码搜索任务旨在通过分析用户需求,结合用户意图来找到满足其需求的软件构件。在加强软件复用性的同时,提高软件开发维护效率,降低成本。与传统的文档检索不同,程序特性往往隐含在标识符和代码结构中,理解程序功能是实现高效代码搜索的关键。从深度程序理解视角切入对代码搜索任务进行定义,并总结梳理近期代码搜索研究进展。针对当前代码搜索研究评估方法和数据集进行了整理。针对研究中存在的问题,对未来代码搜索研究进行展望,为后来研究者提供参考。     

基于代码压缩方法的低功耗嵌入式系统设计技术研究

低功耗是嵌入式系统设计中的重要约束条件之一．代码压缩能够减小程序目标代码尺寸，减小程序目标代码所占用的存储器空间和通信开销，从而在系统级上降低了系统功耗．本文对指令集裁剪压缩技术、全代码压缩与子代码压缩技术以及基于片上Cache的代码压缩技术等几种比较典型的代码压缩技术的特征进行了讨论和分析．     

基于P2P分布式文件传输系统的研究

点对点(Peer-To-Peer,P2P)技术在信息共享中被广泛采用.本文分析了P2P技术的特点:叙述了P2P系统的概述和其可扩展性,提出了P2P分布式文件传输系统模型后,列出了基于静态配置模型的文件共享系统的C#代码实现过程,其中分析了该程序的结构,并分别对程序的关键实现代码和通信机制进行了讨论。     

Java程序运行和编译技术综述

首先概要介绍了Ｊａｖａ语言编译及运行的过程,然后对Ｊａｖａ的４种运行和编译技术：解释执行,即时编译,动态编译和将Ｊａｖａ程序编译为本地机器代码进行了详细的分析和比较。     

FORTRAN 200O异常处理机制的研究

异常处理是现代程序设计语言的一个重要特征,它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持.本文分析了FORTRAN 2000的异常处理机制,并提出一种扩充方案,引入用户定义异常和异常处理区的概念,改进了异常的传播机制,从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离,提高了程序的可读性和可维护性.     

基于深度学习的程序生成与补全技术研究进展

自动化软件开发一直是软件工程领域的研究热点.目前,互联网技术促进了开源软件和开源社区的发展,这些大规模的代码和数据成为自动化软件开发的机遇.与此同时,深度学习也在软件工程领域开始得到应用.如何将深度学习技术用于大规模代码的学习,并实现机器自动编写程序,是人工智能与软件工程领域的共同期望.机器自动编写程序,辅助甚至在一定程度上代替程序员开发程序,极大地减轻了程序员的开发负担,提高了软件开发的效率和质量.目前,基于深度学习方法自动编写程序主要从两个方面实现：程序生成和代码补全.对这两个方面的应用以及主要涉及的深度学习模型进行了介绍.     

二进制代码覆盖率评估系统的设计与实现

在程序动态测试中,需要评价二进制代码动态测试效果.提出了一种二进制代码覆盖率评估方法,设计并实现了基于分支轨迹存储技术的二进制代码覆盖率评估系统.通过分支监视引擎记录动态测试中的代码分支轨迹,利用分支轨迹数据修正静态分析结果,综合静态分析结果和分支轨迹记录评估二进制代码覆盖率,并实现轨迹数据的可视化.实验结果表明,该系统能够有效提高覆盖率评估精度和效率.     

基于语法与语义分析的代码搜索结果优化

通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的.代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜索内容相关的代码,为程序开发人员提供帮助.但现有的代码搜索引擎没有在搜索结果中区别API的实现代码与使用代码,搜索结果存在冗余,导致用户无法快速有效地找到提供有用信息的代码片段.为了使用户更好更快地找到代码搜索目标,阐述了应用语法与语义分析技术从区分API实现代码和使用代码、相似代码聚类、搜索结果摘要3个方面对代码搜索结果进行优化的方法,给出了一个代码搜索引擎的实现,并在实例研究中展示了该方法的有效性.     

反编译研究现状及其进展

一、反编译的定义、作用及其结构编译器的概念众所周知,但逆编译器的概念却还是很新奇,它允许将所定义的目标代码映射到高级表示。计算字典为编译和逆编译给出了下面的定义: 编译:转换高级语言成目标代码的程序……逆编译:一种试图…从机器代码转换回到与原程序相似的某种程序的程序。     

用BASIC实现PC-1500汇编程序

编写PC-1500机器语言程序,有一个汇编程序将方便很多。本文提供了一种用BASIC语言实现的汇编程序及其思路。使用BASIC语言编写汇编程序比直接使用机器语言来得省时与方便,而且程序易于扩充,修改和使用。一、汇编程序结构及功能汇编程序包括三个部分:(一)输入程序(二)汇编主程序(三)编辑程序为使汇编语言源码程序修改、编辑比较方便,本程序使用双代码制——在字符串数组中存放以行为单位的汇编语言源程序,并在编译后于指定RAM空白区中存放目的码(机器代码)这样对汇编语言源程序的行修改,播入、删除操作就可以通过对字符串数组的修改、插入、删除操作来达到,并可再进行汇编。输入程序完成一些初始化任务,并开辟字符串数     

FORTRAN 2000异常处理机制的研究

异常处理是现代程序设计语言的一个重要特征，它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持。本文分析了FORTRAN 2000的异常处理机制，并提出一种扩充方案，引入用户定义异常和异常处理区的概念，改进了异常的传播机制，从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离，提高了程序的可读性和可维护性。     

浅析机房故障和维护方法

窗体身份验证是ASP.NET程序的三种验证方式之一,结合成员资格提供程序和登录控件可以快速实现无代码或少量代码的用户身份验证系统。