Discussion of the Analysis Approach
In the previous chapters, a knowledge-based program understanding approach has been described. This approach satisfies research goals 1-3 given in Section 1.1. The resulting predicate logic annotations are unambiguous and have a sound mathematical basis which allows correctness conditions to be stated and verified, if desired. The analysis approach does not rely on real-time user-supplied information and can analyze non-adjacent loop parts. The fourth goal, which is related to validating the analysis approach, is addressed in the following chapter.
Unable to display preview. Download preview PDF.