Computation by ‘While’ programs on topological partial algebras

The language of while programs is a fundamental model for imperative programming on any data type. It leads to a generalisation of the theory of computable functions on the natural numbers to the theory of computable functions on any many-sorted algebra. The language is used to express many algorithms in scientific computing where while programs are applied to continuous data. In the theory of data, continuous data types are modelled by …