Final Algorithm
The final algorithm is now derived by
- Deleting all parts of the annotated algorithm
that related to assertions; and
- Deleting all references to B&circ
since that variable was only introduced to support reasoning about the
correctness of the algorithm.
[
UPDATE SOURCE
]
[
VIEW
PDF
PS
]
(Note: two pages are to be viewed.)
[
BACK
]
[
NEXT
]