n South African Computer Journal - Analysing algorithms using computed values
|Article Title||Analysing algorithms using computed values|
|© Publisher:||South African Computer Society (SAICSIT)|
|Journal||South African Computer Journal|
|Publication Date||Nov 2000|
|Pages||201 - 206|
|Keyword(s)||Algorithm design, Algorithm refinement, Analysis of algorithms, Computed values, D.2.1, D.2.2, D.3.1, F.2.3, F.3.1, F.3.2 and Semantics|
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.
Article metrics loading...