Understanding and Documenting Programs.
MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This paper reports on an experiment in trying to understand an unfamiliar program of some complexity and to record the authors understanding of it. The goal was to simulate a practicing programmer in a program maintenance environment using the techniques of program design adapted to program understanding and documentation that is, given a program, a specification and correctness proof were developed for the program. The approach points out the value of correctness proof ideas in guiding the discovery process. Toward this end, a variety of techniques were used direct cognition for smaller parts, and functions determined by additional analysis for larger program parts. An indeterminate bounded variable was introduced into the program to summarize the effect of several program variables and simplify the proof of correctness. Author
- Computer Programming and Software