程序分片的英文

• program slicing

• "程序"英文翻译    procedure
• "程序分部" 英文翻译 :    proce departmentalization; process departmentalization
• "程序分段" 英文翻译 :    program segmentation; program segmenting; segmentation
• "程序分工" 英文翻译 :    division of process
• "程序分解" 英文翻译 :    program decomposition
• "程序分块" 英文翻译 :    deblocking
• "程序分类" 英文翻译 :    class of procedures
• "程序分配" 英文翻译 :    program allocation
• "程序分析" 英文翻译 :    analysis of program; procedur analysis; procedure analysis; process analysis; program analysis (computer science); programanalysis
• "程序分析器" 英文翻译 :    program analyzer
• "程序分析师" 英文翻译 :    program analyst
• "程序分析图" 英文翻译 :    procedure analysis chart
• "程序分析员" 英文翻译 :    analyst programmer; program analyst; programmer analyst
• "程序分枝" 英文翻译 :    program branching
• "程序分支" 英文翻译 :    program derivation
• "程序分组" 英文翻译 :    program packet
• "分程序分析" 英文翻译 :    block analysis
• "源程序分析" 英文翻译 :    analysis of the source program
• "子程序分配" 英文翻译 :    subroutine allocation
• "程序分析程序" 英文翻译 :    program analyzer
• "程序分析程序, 程序分析器" 英文翻译 :    program analyzer
• "程序分层模型" 英文翻译 :    hierarchical model of program
• "程序分层设计" 英文翻译 :    hierarchical design of program
• "程序分层图解" 英文翻译 :    program hierarchy chart
• "程序分段模块" 英文翻译 :    programming language cobol segmentation modulee

• This paper mainly discusses the design and implementation of a program slicing system based on c - similar language ( later referred as csl ) : a language defined by myself and has described the design and implementation of a complete static program slicing system
  本文以一种自定义的结构化语言-类c语言( c - similarlanguage ,简称csl )为例,描述了一个完整的静态程序分片系统的设计与实现过程。
• The first part : according to the treatment range of the slicing technique in the paper , applying compiling technique , define the grammar of csl language and implement its lexical analysis and syntactical analysis manually , and obtain the ast of the source program of csl
  本文在编译技术、图论和程序分片理论的基础上,探讨了程序静态分片技术的实现策略,介绍了一种整体实现方案,是关于结构化语言静态程序分片系统实现的一种尝试。
• Program slicing is an important technique to analyze and understand programs . a program slice s is composed of a set of statements in program p which can influence the value of a variables named v at a special program point n , in which ( n , v ) is named as slicing criterion
  程序分片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称作分片) ,然后通过分析分片来分析源程序的行为。
• Since the concept of program slicing is proposed , it is widely concerned by software researchers and development staffs and is widely applied in the fields of software testing , debugging , measuring , maintenance , xml information extraction , reverse engineering and re - engineering , etc .
  自从程序分片概念被提出以后,受到很多研究人员和软件开发人员的关注,使得它在软件测试、调试、度量、维护、程序变换、 xml信息抽取、软件逆向工程与再工程等方面得到广泛应用。
• The following works have been done : ( 1 ) define csl language and complete the lexical analysis and syntactical analysis of it ; ( 2 ) obtain control flow graph ( later referred as cfg ) from abstract syntax tree ( ast ) ; ( 3 ) control dependence analysis of csl ; ( 4 ) system architecture of csl slicing system
  内容包括通过语法分析获得源程序的抽象语法树,从抽象语法树构造控制流图,在控制流图上做控制流分析获得源程序的控制依赖关系,在控制流图上做数据流分析获得源程序的数据依赖关系,以及最后获得源程序的程序依赖图并以图可达性算法获得程序分片的全过程。
• Therefore , pe is a program optimization technique dependent on specific language . to better research on pe itself and its application in other program analysis fields , the present paper introduces a partial evaluator of snl ( small nested langue ) as well as its formal description , and implements a pe system utilizing the partial evaluation approach
  另外,本文还在该部分求值器的应用方面做了一定的工作:将部分求值与别名分析、程序分片相结合,提出了一种并行融合部分求值的别名分析方法,以及一种基于部分求值的程序分片方法。