|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| n | Sorting |
|||||||||||||
| u | selection sort |
|||||||||||||
| u | bubble sort |
|||||||||||||
| n | Searching |
|||||||||||||
| u | Sequential/linear
search |
|||||||||||||
| u | binary search |
|||||||||||||
| n | Verifying
correctness of iterations |
|||||||||||||
| u | partial
correctness |
|||||||||||||
| u | loop invariant |
|||||||||||||
| u | key invariant |
|||||||||||||
| u | termination |
|||||||||||||