Affine slices
Ivan Sklenář · The Computer Journal · 1981
Affine slices are extensions of the ALGOL 68 notion of slice. Like ALGOL 68 slices, they permit the implementation of multiple values in a simple manner (using run-time descriptors) and also the addressing of a multiple value element by a linear expression. However, they also provide more general slicing possibilities such as the diagonal of a matrix, the reverse of a vector, transpose of a matrix and so on. A theorem is proved which makes possible the verification of the correctness of a particular affine slices. Syntax for affine slices is also discussed.