A Story that Starts with a Very Good Computer
Once upon a time, a long time ago, an organization decided to get a computation centre. The organization hired a manager to manage the computation centre, and he was a very competent manager, for he hired a very good computer to do the computing and a very good programmer to do the programming. The manager’s high quality was shown by his choice of computer: knowing that in the work of his organization, sorting would play a very big role, he selected the one and only computer on the market that had a very fast, built-in sort instruction, called “SORT”, in its instruction code. The manager’s high quality also manifested itself by the choice of the programmer, as will become clear in the sequel.
KeywordsPower Consumption Computation Centre Good Computer Main Program Proof Obligation
Unable to display preview. Download preview PDF.