10.4 Thinking Logically, Thinking Concurrently

• Has clear and precisely stated steps that produce the correct output for any set of valid outputs • Should allow for valid inputs • Must always terminate at some point • Should execute efficiently, in as few steps as possible • Should be designed in such a way that other people will be able to understand it and modify it if necessary

Check that a user has entered a value fit for processing

Multiple processors execute instructions simultaneously