Properties of Algorithms
For an algorithm to be well specified it
must have …
Inputs specified
Outputs specified
Definiteness
Effectiveness
Finiteness