© 1981 by British Computer Society
Affine slices
*Institute of Physics, Czechoslovak Academy of Sciences, Na Slovance 2, Prague, Czechoslovakia
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.
Received November 1979.
* Institute of Physics, Czechoslovak Academy of Sciences, Na Slovance 2, 180 40 Prague 8, Czechoslovakia