Get A Knowledge-Based Approach to Program Understanding PDF

By Salwa K. Abd-El-Hafiz

ISBN-10: 0792396057

ISBN-13: 9780792396055

ISBN-10: 146152279X

ISBN-13: 9781461522799

Program figuring out performs an enormous function in approximately all software program comparable projects. it will be important to the advance, upkeep and reuse actions. application figuring out is integral for bettering the standard of software program improvement. numerous improvement actions akin to code stories, debugging and a few trying out methods require programmers to learn and comprehend courses. upkeep actions can't be played with out a deep and proper figuring out of the element of be maintained. software figuring out is key to the reuse of code elements simply because they can not be applied with out a transparent realizing of what they do. If a candidate reusable part has to be changed, an figuring out the way it is designed can also be required. of This monograph offers a· knowledge-based method of the automation of application figuring out. This process generates rigorous application documentation robotically through combining and construction on strengths of a realistic software decomposition technique, the axiomatic correctness notation, and the data­ dependent research ways. extra in particular, this technique records courses via producing first order predicate common sense annotations in their loops. during this method, loops are labeled in line with their complexity degrees. in accordance with this taxonomy, diversifications at the simple research method that top healthy all of the diverse sessions are defined. more often than not, mechanical annotation of loops is played via first decomposing them utilizing facts stream research. This decomposition encapsulates interdependent statements in occasions, which might be analyzed individually.

Show description

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

Best international books

Get Early Aspects: Current Challenges and Future Directions: PDF

Celebrating 5 Years of Early elements The early points neighborhood had its origins within the “Early features: specifications En- neering and structure layout” workshop prepared throughout the first foreign c- ference on Aspect-Oriented software program improvement (AOSD), in March 2002. when you consider that then, the early facets neighborhood has grown swiftly.

New PDF release: Anderson Localization: Proceedings of the Fourth Taniguchi

This quantity includes the complaints of the Fourth Taniguchi foreign Symposium at the idea of Condensed topic, which was once held at Senkari Semi­ nar residence of Kwansei Gakuin Universi~y in Sanda-shi, Japan, throughout the interval of 3-8 November 1981. the subject of the symposium used to be "Anderson rocalization," some of the most basic difficulties in condensed-matter physics.

Photoacoustic and Photothermal Phenomena II: Proceedings of by J. Pelzl, U. Netzelmann, Th. Orth, R. Kordecki (auth.), PDF

Photothermal technology remains to be a space of speedy improvement and lively research, as is validated by way of this quantity. a number of the contributions current basic examine in fabrics technology, physics, chemistry, biology, and medication, in addition to very important functions of photothermal recommendations in nondestructive assessment, aeronomy and toxins keep watch over, and different components.

New PDF release: Multislice CT: A Practical Guide: Proceedings of the 5th

The dual advancements of spiral CT and multidetector array expertise have opened a brand new period. The CT scanner functionality is considerably better as a result of elevated velocity and isotropic spatial solution. This has yielded a broadening of the spectrum of functions, fairly in cardiac, vascular and belly imaging.

Additional resources for A Knowledge-Based Approach to Program Understanding

Example text

2: Basic Events (BE's) are the fragments that constitute the control computation of the loop. A BE consists of three parts: the condition, the enumeration, and the initialization. The condition is one clause of the loop condition. The enumeration is a segment responsible for the data flow into the condition. The initialization is the initialization of the variables defined in the enumeration. 3: After identifying the BE's, the Augmentation Events (AE's) are the remaining fragments of the loop body.

More specifically, the sequence of values assumed by the control variable of a simple loop can be easily written. This is because the control computation is isolated from the rest of the loop. The loop condition, the control variable's initial value, and the net modification performed on the control variable in one loop iteration, if any, provide sufficient information for writing this sequence. For instance, consider the following example in which the variable x is assigned the value x? + where x?

1, the condition is already in conjunctive normal form containing the two clauses (i s num_oLcourses) and (j1ag = false). The symbolic execution does not affect the body of the loop. 2 DECOMPOSITION OF THE LOOP BODY The loop body is decomposed into segments of code which are ordered according to their data flow dependencies. Although this decomposition is different from the loop decomposition method introduced by Waters [16], it was inspired by his work. The loop segments and the ordering relation, called 'analyzed before', are defined as follows.

Download PDF sample

A Knowledge-Based Approach to Program Understanding by Salwa K. Abd-El-Hafiz


by George
4.2

Rated 4.65 of 5 – based on 10 votes