Partial algorithm

Redirect to:

• Correctness (computer science)