Download e-book for iPad: A Knowledge-Based Approach to Program Understanding by Salwa K. Abd-El-Hafiz

By Salwa K. Abd-El-Hafiz

ISBN-10: 0792396057

ISBN-13: 9780792396055

ISBN-10: 146152279X

ISBN-13: 9781461522799

Program realizing performs an incredible function in approximately all software program similar initiatives. it can be crucial to the advance, upkeep and reuse actions. software knowing is critical for making improvements to the standard of software program improvement. a number of improvement actions comparable to code studies, debugging and a few checking out techniques require programmers to learn and comprehend courses. upkeep actions can't be played with no deep and proper figuring out of the part of be maintained. application figuring out is key to the reuse of code elements simply because they can't be applied with no transparent knowing of what they do. If a candidate reusable part should be converted, an realizing 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 procedure generates rigorous application documentation automatically through combining and development on strengths of a pragmatic application decomposition process, the axiomatic correctness notation, and the information­ established research techniques. extra particularly, this technique records courses through producing first order predicate common sense annotations in their loops. during this procedure, loops are categorized in response to their complexity degrees. according to this taxonomy, adaptations at the simple research process that most sensible healthy all the diverse periods are defined. typically, mechanical annotation of loops is played through first decomposing them utilizing facts stream research. This decomposition encapsulates interdependent statements in occasions, which are analyzed individually.

Show description

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

Best international books

Get Neural Information Processing: 16th International PDF

The 2 volumes LNCS 5863 and 5864 represent the complaints of the sixteenth overseas convention on Neural details Processing, ICONIP 2009, held in Bangkok, Thailand, in December 2009. The one hundred forty five common consultation papers and fifty three distinct consultation papers offered have been rigorously reviewed and chosen from 466 submissions.

Jinglong Wu, Chao Xue, Ziran Zhao (auth.), George Yang's Proceedings of the 2012 International Conference on PDF

This publication is a suite of chosen papers from the 2011 foreign convention on Communications, Electronics and Automation Engineering carry in Xi’an, China, August 23-25, 2012. It provides a number of the most modern examine findings in a large variety of interdisciplinary fields concerning communications, electronics and automation engineering.

C. A. Perrings, K. G. Mäler, C. Folke, C. S. Holling, B. O.'s Biodiversity Conservation: Problems and Policies. Papers PDF

This quantity is considered one of a few courses to hold the result of the 1st learn programme of the Royal Swedish Academy of Science's Beijer Institute. The Institute was once shaped in 1991 with a view to advertise interdisciplinary study among average and social scientists at the interdependency among monetary and ecological platforms.

Download PDF by Abdallah Ghourabi, Tarek Abbes (auth.), Álvaro Herrero,: International Joint Conference CISIS’12-ICEUTE´12-SOCO´12

This quantity of Advances in clever and delicate Computing includes authorised papers awarded at CISIS 2012 and ICEUTE 2012, either meetings held within the appealing and ancient urban of Ostrava (Czech Republic), in September 2012. CISIS goals to provide a gathering chance for tutorial and industry-related researchers belonging to a few of the, huge groups of Computational Intelligence, details safety, and knowledge Mining.

Extra info for A Knowledge-Based Approach to Program Understanding

Example text

Steps 6 and 7 of the algorithm assign unique orders to the segments according to the irreflexive partial ordering relation ' ..... '. 1 provides the algorithm used in performing the loop body decomposition. The conditions of the theorem characterize the cases in which the algorithm does not give accurate results. , because of aliasing, the algorithm might not identify the strongly connected loop components correctly. 1, the three conditional assignments of the symbolic execution result form a directed graph G with two edges: one from C3 to C\, and the other c.

Even though the transformation rules can reduce the syntactic variations, they cannot reduce non-adjacent program statements. Each plan can only analyze a fixed syntactic form and cannot handle a class of functionally equivalent forms. The Maintainer's Assistant is another tool for analyzing programs by transformation [9]. It uses a formal language to express both low-level program operations and high-level specifications. By utilizing a knowledge base of transformations, the maintenance programmer can restructure a piece of code or derive its specifications.

2) In these rules, the notation P{S}Q means that if the predicate P is true before executing the :tirst statement of the program part S, and if 42 A KNOWLEDGE-BASED APPROACH TO PROGRAM UNDERSTANDING S terminates, then the predicate Q will be true after execution of S is complete. b. If the above invariants use the notation var? to denote the initial value of a variable var, does this notation consistently refer to the value of var before the start of the outermost loop in the nested construct? If not, how can this inconsistency be removed?

Download PDF sample

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

by Edward

Rated 4.10 of 5 – based on 5 votes