For the PDF file is too big, i divided it into three parts.

All the associated files are attached  at the end of the passage.

Towards program debugging and dynamic reverse engineering using muti-procedure program dynamic decomposition

Outline:

1.       Abstract: the concise information of the paper

2.       Introduction:

l       Mentioned the success in the previous work

l       put forward the debugging and reverse engineering

l       give the structure for this paper

3.       background

l     Some basic knowledge for this research, like definition and properties;

l     Illustration example

4.       the first approach to muti-procedure program dynamic decomposition

4.1    determining dynamic elementary rectangles

l           give the definition of the reverse engineering

l           some suggestion for the programmer

4.2    finding rectangles of  dynamic dependencies

4.3    extracting dynamic significant rectangles

4.4    illustrative examples

5.       the second approach to muti-procedure   program dynamic decomposition

5.1     the approach: a tool to dynamic reverse engineering

5.2     Incremental dynamic lattice

6       Analysis of computational complexity

7       Summary and concluding remarks

l         Compare the two approach, and merit each one

l         Give the suggestion the condition to use the approach

8       References

Vocabulary and phrase:

Susceptible 易受影响的

Saturate 使饱和

Lattice 格子

Monolithic单片电路

Codomain 上域

Cartesian 卡笛尔

Factorial 阶乘

Proposition 命题

Intersection 交集

Antisymmetric 反对称

Wherein 其中

Angular

Designate

With regard to/with respect to

In that

Be devoted to

For the sake of

Depend on

Be considered as

Associate with

Take into account

Consist of

At points

Derive from

Refer to .. as

Have an influence on sth

Distinguish from

Concentrate on

A collection of

Characteristic of the paper:

In general, first, give the abstract for the following paragraphs, next , the details are presented. If there are some new definitions/properties, put forward at the first place. Some illustrations are set to prove the proposition. After that, analyze the example and get a conclusion.

For there are two approaches to muti-program dynamic decomposition, at last, a comparison is brought forward too.

Subordinate clause:

Some subordinate clause in the paper, among which attribute clauses and adverbial clauses are used the most. In general there are no problems to understand. But the sentence below I  have some problem, I am not very sure.

e.g. In this paper, we introduce the concept of incremental lattice to show all the different dynamic program threads (that can be obtained from particular execution and with respect to a given observation point, [i.e. occurrence, in the program during execution path.])

What I have learned:

From my perspective, the mode of the paper is very useful to write technology paper and argumentum composition. First, bring out the title you want to present, and why this is needed or indispensable, then, try to explain it in detail, during which, some examples can be illustrated to support what you want to prove. Of course, some truth or results of the preceding research can be cited, too. If something is new, give the concept. Then, analyze all what you’ve said above and reach the conclusion.  

Remember, to avoid the composition to be plain, add some color vocabularies and phrases to it and use the clause! If there are more than two statements, try to compare them to make the reader fully understand the difference between them.

075190 樊利