The programmer has two main concerns: correctness and efficiency. Thus far, this book has dealt mainly with the issue of correctness. This does not mean that efficiency is unimportant. When faced with any large task, it is usually best to put aside some of its aspects for a moment and to concentrate on the others, and that is what we have been doing. This important principle is called Separation of Concerns.
KeywordsEfficient Program Fixed Integer Expensive Operation Weak Precondition Efficiency Consideration
Unable to display preview. Download preview PDF.