【摘 要】
：
该文通过分析C程序中非局部跳转控制流的特点,提出了一个通过等价程序变换消除非局部跳转流的方法,并对该方法在不同情况下的正确性进行了阐述和证明.我们的方法是采用goto和
论文部分内容阅读
该文通过分析C程序中非局部跳转控制流的特点,提出了一个通过等价程序变换消除非局部跳转流的方法,并对该方法在不同情况下的正确性进行了阐述和证明.我们的方法是采用goto和return等语句来模拟非局部跳转控制流,在不改变程序原有功能的情况下消除了程序中的非局部跳转控制流.该方法可以在一个程序结构化的一个独立的阶段实现,因此可以把非局部跳转控制流对并行化编译的其它阶段,尤其是分析阶段的不利影响最小化.同时该方法也有助于提高程序结构化程度,有利于对程序的分析和并行化.
其他文献
软件测试是软件工程中的一个阶段,是保证软件质量的重要手段.面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计方法
该文主要介绍了玉溪红塔集团生产二部生产设备维修管理系统的研制与开发过程.生产设备维修管理是生产二部保障生产的重要工作内容,开发该系统的目的在于规范化现有的设备维修
随着软件规模和复杂性的不断增加,系统总体结构设计和说明的重要性远远超过了特定算法和数据结构的选择与设计.软件体系结构作为描述系统高层设计和实现更广范围内软件重用的
该论文首先给出亚公平依赖、亚公平关系的定义及判定条件,从而使公平依赖体系和公平体系完整化.之后又对亚公平网的性质进行研究,得出其两方面的性质:亚公平Petri网一定存在
该课题的研究内容是设计一种利用Internet和World Wide Web概念与技术的单位内部Intranet网络系统.该论文详细介绍了山东省建筑工程劳保费管理办公室组网的基本思想和设计过
该文对计算机集成制造系统、并行工程、工作流管理技术和计算机支持的协同工作等理论进行了论述,探讨了它们之间的相互关系和各自的特点,分析了计算机支持的协同工作的研究内
在众多的无损检测方法中,超声成像技术是一种令人瞩目的新技术,并随着电子技术和计算机技术的应用而迅速发展.该报告的第一部分结合"超声彩色成象与分析系统"讨论以计算机技
该文首先对目前最为流行的网络协议——TCP/IP协议进行了充分的分析,尤其是对黑客最容易攻击的几种常见协议(如TCP、UDP协议)的机理及实现方法进行了深刻的研究.与此同时,该
该文分析了国内外研究基于Internet的实进语音通信QoS问题的进展情况,结合该文提出的呼叫中心改进方案建立了端到端实语音通信的模型,从多方面的给出解决QoS问题的方法以及实
该文针对CD400BXICT系统的技术特点,按照设计要求设计了该系统中的数据采集部分,实现对CD400BXICT系统中的128路探测器信号的实时采集、校验和存储.设计以I/O扩展卡的形成,按