Computer Science – Logic in Computer Science
Scientific paper
2007-12-20
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.
Bergstra Jan Aldert
der Zwaag Mark B. van
Ponse Alban
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-3091