Search
Now showing items 1-2 of 2
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
(1979-01-01)
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed ...
Programming Viewed as an Engineering Activity
(1978-01-01)
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the behavior of the ...