|
ABSTRACT
Compilers, besides testing for errors in a particular implementation of an algorithm, can be implemented to analyze program structure. This information can be fed back to the programmer in order to improve the structure, reliability and efficiency of the resulting program. This paper surveys several techniques that are currently implementable in a compiler, describes several new techniques that can be applied to programs, and briefly describes one such implementation of many of these ideas.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
 |
2
|
|
 |
3
|
|
 |
4
|
|
| |
5
|
Floyd R. Assigning meanings to programs. Symposium in Applied Mathematics 19 (1967) 19-32.
|
 |
6
|
|
| |
7
|
Hellerman L. A measure of computational work. IEEE Transactions on Computers C-21, no. 5 (May, 1972) 439-446.
|
| |
8
|
|
| |
9
|
Ingalls D. The execution time profile as a programming tool. Compiler Optimization, Prentice Hall (1972), 107-128.
|
| |
10
|
Knuth D. An empirical study of FORTRAN programs. Software Practice and Experience 1, no. 2 (1971) 105-133.
|
| |
11
|
Lyon G. and R. Stillman. A FORTRAN analyzer. National Bureau of Standards Technical Note 849 (October, 1974).
|
| |
12
|
Morrison J. E. User program performance in virtual storage systems. IBM systems Journal 12, no. 3 (1973) 216-237.
|
 |
13
|
|
 |
14
|
|
| |
15
|
Ramamoorthy C. V. and S. B. F. Ho. Testing large software with automated software evaluation systems. IEEE Transactions on Software Engineering SE-1, no. 1 (March, 1975) 46-58.
|
 |
16
|
|
 |
17
|
|
| |
18
|
van Emden M. H. The hierarchical decomposition of complexity. Machine Intelligence 5 (1970), 361-380.
|
| |
19
|
Zelkowitz M. PLUM: The University of Maryland PL/1 system. Technical Report TR-318, Computer Science, University of Maryland, July, 1974.
|
|