Now let us return to the original pseudocode … [for returning x to the y power] … [ahead of time] debugging environment. He first enters the 14 triples of values … The environment is passive until Top types ['val:=1;...'], at which point the program state window updates the value … [He enters 'for n:=1 to y do ...' and the test cases are updated for positive y.] Tom is surprised because he expected val … But since he just wrote the statement, his … [faulty] details of its logic, and the relevant variable states are … [p. 291] At the instant that Tom is done …
Google-1
Google-2
Copyright clearance needed for quotation.