An Exploratory Study of Reasons for HOL Object Code Inefficiency.

摘要

This report describes an exploratory study of some executive and tactical programs written in a high order language. The objective of the study was to determine the extent to which object code inefficiencies are affected by the design of a programming language, a compiler's optimization strategies, and how the language is used (programming style). Specific examples of program segments are analyzed together with object code produced by a compiler for a specific military computer. The most significant finding is that in tactical programming, at least, source code readability and maintainability are strongly affected by a compiler's optimization strategies when object code efficiency is important, and consequently, the effect of these strategies on programming style needs to be given much more careful attention than is currently the case. (Author)