1 research outputs found
An algebra of mixed computation
AbstractAlgebraic tools for mixed computation are presented. Some axioms for informational objects, program functions, inputs and outputs are introduced. These axioms are sufficient for the correct mixed computation of some basic program composition forms