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
This report summarises the background and recent progress in the research of its co-authors. It is ...
This paper presents an algebraic theory of instruction sequences with instructions for a random acce...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
AbstractAlgebraic tools for mixed computation are presented. Some axioms for informational objects, ...
AbstractMixed computation is processing of an incomplete information. Its product are a partially pr...
AbstractMixed computations and partial evaluation are powerful programming tools which any be used f...
Abstract-In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs f...
We study the algebraic theory of computable functions, which can be viewed as arising from possibly ...
There are basically two kinds of mathematical computation, numerical and symbolic. Numerical algorit...
Formal models for a computer and for programs are introduced. These models are used to develop a the...
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
AbstractAn abstract language for a computer of von Neumann type is presented. This language is consi...
AbstractWe report on the contents and pedagogy of a course in abstract algebra that was taught with ...
AbstractRefinement algebras are abstract algebras for reasoning about programs in a total correctnes...
We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds...
This report summarises the background and recent progress in the research of its co-authors. It is ...
This paper presents an algebraic theory of instruction sequences with instructions for a random acce...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
AbstractAlgebraic tools for mixed computation are presented. Some axioms for informational objects, ...
AbstractMixed computation is processing of an incomplete information. Its product are a partially pr...
AbstractMixed computations and partial evaluation are powerful programming tools which any be used f...
Abstract-In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs f...
We study the algebraic theory of computable functions, which can be viewed as arising from possibly ...
There are basically two kinds of mathematical computation, numerical and symbolic. Numerical algorit...
Formal models for a computer and for programs are introduced. These models are used to develop a the...
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
AbstractAn abstract language for a computer of von Neumann type is presented. This language is consi...
AbstractWe report on the contents and pedagogy of a course in abstract algebra that was taught with ...
AbstractRefinement algebras are abstract algebras for reasoning about programs in a total correctnes...
We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds...
This report summarises the background and recent progress in the research of its co-authors. It is ...
This paper presents an algebraic theory of instruction sequences with instructions for a random acce...
AbstractAn algebraic programming system (APS) integrates four main paradigms of computations: proced...
DOI
Add to ORKG