Published Online: Aug 23, 2013
Page range: 1 - 23
DOI: https://doi.org/10.2478/forma-2013-0001
This content is open access.
We analyse three algorithms: exponentiation by squaring, calculation of maximum, and sorting by exchanging in terms of program algebra over an algebra.