Published in Volume XVIII, 2008, pages 35-61

Authors: J.A. Bergstra, A. Ponse and M.B. Van Der Zwaag


We introduce a calculus for tuplices,
which are expressions that generalize matrices and vectors.
Tuplices have an underlying data type for quantities
that are taken from a zero-totalized field.
We start with the core tuplix calculus CTC
for entries and tests,
which are combined using conjunctive composition.
We define a standard model and prove
that CTC is relatively complete with respect to it.
The core calculus is extended with operators for
choice, information hiding,
scalar multiplication, clearing and encapsulation.
We provide two examples of applications;
one on incremental financial budgeting,
and one on modular financial budget design.

Full Text (PDF)


  title={Tuplix Calculus},
  author={J.A. Bergstra and A. Ponse and M.B. Van Der Zwaag},
  journal={Scientific Annals of Computer Science},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  publisher={``A.I. Cuza'' University Press}