Tuplix Calculus

Details Tuplix Calculus Tuplix Calculus

2007-12-20

arxiv.org/abs/0712.3423v1

Scientific Annals of Computer Science, 18:35--61, 2008

Computer Science

Logic in Computer Science

22 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Tuplix Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Tuplix Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tuplix Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-3091