Tuplix Calculus

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 co...

Full description

Saved in:
Bibliographic Details
Main Authors: J.A. Bergstra, A. Ponse, M.B. Van Der Zwaag
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2008-12-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XVIII/XVIII_2.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!