Now showing items 1-2 of 2
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
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
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 ...