n South African Computer Journal - Analysing algorithms using computed values

Volume 2000, Issue 26
  • ISSN : 1015-7999
  • E-ISSN: 2313-7835



The purpose of this short paper is to give some insights as to how computed values can aid algorithm design. A simple algorithm of the finding average is expressed in terms computed values illustrating how one can express an algorithm in a paradigm independent form. This same problem is used to show how a refinement process enables an algorithm to be developed from a specification. the refinement process enables alternatives to be explored at each step of the design. By looking at the number of computed values and their dependencies provides some simple tools for analysing the choices, this enables decisions to be made as to which alternative to select. Some simple theory is developed for describing the computed values. the advantage of the theory is that it is based on commonly used mathematical notation and restricted form predicate logic. Hence anyone with some basic mathematical background is able to understand the semantics of the theory.

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error