On the criteria to be used in decomposing systems into modules
Communications of the ACM
Design and implementation of a diagnostic compiler for PL/I
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
WATFOR—The University of Waterloo FORTRAN IV compiler
Communications of the ACM
DITRAN—a compiler emphasizing diagnostics
Communications of the ACM
PUFFT—The Purdue University fast FORTRAN translator
Communications of the ACM
CORC—the Cornell computing language
Communications of the ACM
On a measure of program structure
Programming Symposium, Proceedings Colloque sur la Programmation
ACM '73 Proceedings of the ACM annual conference
Hints on programming language design.
Hints on programming language design.
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
Automatic program analysis and evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Hi-index | 0.00 |
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.