By Salwa K. Abd-El-Hafiz

Program realizing performs an immense position in approximately all software program comparable projects. it is crucial to the advance, upkeep and reuse actions. software knowing is fundamental for bettering the standard of software program improvement. a number of improvement actions similar to code experiences, debugging and a few checking out methods require programmers to learn and comprehend courses. upkeep actions can't be played with no deep and proper realizing of the part of be maintained. application realizing is essential to the reuse of code elements simply because they can not be applied with no transparent knowing of what they do. If a candidate reusable part should be changed, an knowing the way it is designed can also be required. of This monograph provides a· knowledge-based method of the automation of application knowing. This technique generates rigorous software documentation routinely through combining and development on strengths of a realistic application decomposition technique, the axiomatic correctness notation, and the information­ established research techniques. extra particularly, this strategy records courses through producing first order predicate good judgment annotations in their loops. during this method, loops are categorised in line with their complexity degrees. in keeping with this taxonomy, adaptations at the easy research method that most sensible healthy all of the diverse sessions are defined. commonly, mechanical annotation of loops is played by way of first decomposing them utilizing info circulation research. This decomposition encapsulates interdependent statements in occasions, which are analyzed individually.

Show description

Read or Download A Knowledge-Based Approach to Program Understanding PDF

Best international books

Keeps Up the Pace

We spend an afternoon with Linda Raschke and know about her buying and selling kind, day-by-day marketplace routine and the problem of using a horse in a circle.

OpenMP Shared Memory Parallel Programming: International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

This ebook constitutes the completely refereed post-workshop complaints of the 1st and the second one foreign Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, united states, and in Reims, France, in June 2005 and 2006 respectively. the 1st a part of the ebook offers sixteen revised complete papers conscientiously reviewed and chosen from the IWOMP 2005 application and arranged in topical sections on functionality instruments, compiler expertise, run-time setting, functions, in addition to the OpenMP language and its assessment.

Weak and Electromagnetic Interactions in Nuclei: Proceedings of the International Symposium, Heidelberg, July 1–5, 1986

Nuclear physics is shortly experiencing a thrust in the direction of primary phy­ sics questions. Low-energy experiments assist in trying out past contemporary stan­ dard types of particle physics. the quest for finite neutrino lots and neutrino oscillations, for proton decay, infrequent and forbidden muon and pion de­ cays, for an electrical dipole second of the neutron denote a few of the efforts to check present day theories of grand unification (GUTs, SUSYs, Superstrings, .

Transplant International Official Journal of the European Society for Organ Transplantation: Proceedings of the 5th Congress of the European Society for Organ Transplantation, Maastricht, October 7–10, 1991

This complement to Transplant foreign includes the complaints of the winning fifth Congress of the ecu Society for Organ Transplantation held in Maastricht from 7-10 October 1991. Of 827 abstracts submitted to the congress, 548 have been chosen through the Scien­ tific Committee for both oral or poster presentation.

Extra resources for A Knowledge-Based Approach to Program Understanding

Sample text

I n a[ind]. D ind:: 1 The analysis of general loops is, however, not as straightforward as that of simple ones. In many cases, it might not be easy, or even possible, to obtain such specific knowledge because the control computation of the loop is not as determinate and isolated as in the case of simple loops. 1, there is no guarantee that the final sequence assumed by the control variable i will be 1 to num_oLcourses. The content of the final sequence is dependent on the contents of the variables course_no and course_no_db.

1, the segment S3 is the only one responsible for the data flow into the clause i s: num_oLcourses. As a result, S3 is combined with this clause to form a BE. Similarly, segment S2 is the only one responsible for the data flow into the clauseflag =false. Hence, S2 is combined with this clause to form another BE. AE's are the remaining segments of the loop body. Each event includes the initializations of the variables defined in it. By giving each event the same order as the segment it utilizes, we satisfy the condition that the variables referenced in an event are either defined in a lower order event or not modified within the loop at all.

The context adaptation utilizes both the inner-addition parts of the plans and the adaptation paths of the inner loops to derive the predicates which are needed to strengthen the specifications of inner loops. 1). The initialization adaptation explains how to replace variables of the form vorl, in an inner loop specification, with their values as deduced from the outer loop invariant and the inner loop adaptation path. The following four sections describe how to perform these analysis and adaptation tasks.

Download PDF sample

Rated 4.36 of 5 – based on 21 votes