[next] [prev] [prev-tail] [tail] [up]

2 Example


Listing 1:short_circuit_1
 
1i←0 
2while (i<|a|)∧(a[i]≠k) do 
3  i←i+1 
4end while

Let us consider the first example as illustrated in 1. In this example, a is an array, k is an integer, and i is a local variable. The code searches for the value of k in the array a. This code does work, but only when short circuited boolean evaluation is supported. Otherwise, this code is incorrect!

 2.1 Commutable or not?
 2.2 Back to the example

[next] [prev] [prev-tail] [front] [up]