761 research outputs found
Poly-infix operators and operator families
Poly-infix operators and operator families are introduced as an alternative
for working modulo associativity and the corresponding bracket deletion
convention. Poly-infix operators represent the basic intuition of repetitively
connecting an ordered sequence of entities with the same connecting primitive.Comment: 8 page
A progression ring for interfaces of instruction sequences, threads, and services
We define focus-method interfaces and some connections between such
interfaces and instruction sequences, giving rise to instruction sequence
components. We provide a flexible and practical notation for interfaces using
an abstract datatype specification comparable to that of basic process algebra
with deadlock. The structures thus defined are called progression rings. We
also define thread and service components. Two types of composition of
instruction sequences or threads and services (called `use' and `apply') are
lifted to the level of components.Comment: 12 page
Probability functions in the context of signed involutive meadows
The Kolmogorov axioms for probability functions are placed in the context of
signed meadows. A completeness theorem is stated and proven for the resulting
equational theory of probability calculus. Elementary definitions of
probability theory are restated in this framework.Comment: 20 pages, 6 tables, some minor errors are correcte
Interface groups and financial transfer architectures
Analytic execution architectures have been proposed by the same authors as a
means to conceptualize the cooperation between heterogeneous collectives of
components such as programs, threads, states and services. Interface groups
have been proposed as a means to formalize interface information concerning
analytic execution architectures. These concepts are adapted to organization
architectures with a focus on financial transfers. Interface groups (and
monoids) now provide a technique to combine interface elements into interfaces
with the flexibility to distinguish between directions of flow dependent on
entity naming.
The main principle exploiting interface groups is that when composing a
closed system of a collection of interacting components, the sum of their
interfaces must vanish in the interface group modulo reflection. This certainly
matters for financial transfer interfaces.
As an example of this, we specify an interface group and within it some
specific interfaces concerning the financial transfer architecture for a part
of our local academic organization.
Financial transfer interface groups arise as a special case of more general
service architecture interfaces.Comment: 22 page
On Hoare-McCarthy algebras
We discuss an algebraic approach to propositional logic with side effects. To
this end, we use Hoare's conditional [1985], which is a ternary connective
comparable to if-then-else. Starting from McCarthy's notion of sequential
evaluation [1963] we discuss a number of valuation congruences and we introduce
Hoare-McCarthy algebras as the structures that characterize these congruences.Comment: 29 pages, 1 tabl
Differential Meadows
A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a
meadow without proper zero divisors. In this paper we consider differential
meadows, i.e., meadows equipped with differentiation operators. We give an
equational axiomatization of these operators and thus obtain a finite basis for
differential cancellation meadows. Using the Zariski topology we prove the
existence of a differential cancellation meadow.Comment: 8 pages, 2 table
Division by zero in common meadows
Common meadows are fields expanded with a total inverse function. Division by
zero produces an additional value denoted with "a" that propagates through all
operations of the meadow signature (this additional value can be interpreted as
an error element). We provide a basis theorem for so-called common cancellation
meadows of characteristic zero, that is, common meadows of characteristic zero
that admit a certain cancellation law.Comment: 17 pages, 4 tables; differences with v3: axiom (14) of Mda (Table 2)
has been replaced by the stronger axiom (12), this appears to be necessary
for the proof of Theorem 3.2.
Periodic Single-Pass Instruction Sequences
A program is a finite piece of data that produces a (possibly infinite)
sequence of primitive instructions. From scratch we develop a linear notation
for sequential, imperative programs, using a familiar class of primitive
instructions and so-called repeat instructions, a particular type of control
instructions. The resulting mathematical structure is a semigroup. We relate
this set of programs to program algebra (PGA) and show that a particular
subsemigroup is a carrier for PGA by providing axioms for single-pass
congruence, structural congruence, and thread extraction. This subsemigroup
characterizes periodic single-pass instruction sequences and provides a direct
basis for PGA's toolset.Comment: 16 pages, 3 tables, New titl
- …