|
|||||
|
|
An algebra of mixed computation |
|
| Authors: | V.E. Itkin |
| Affiliation: | Institute of Informatics Systems, Siberian Division of the USSR Academy of Sciences, Novosibirsk 630090, USSR |
| Abstract: | Algebraic 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. |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |