A KDF9 ALGOL list-processing scheme

Waltzing on a KDF9

This paper describes steps to use modern technology to describe the centuries old Labanotation for illustrating dance steps. These are animated by figures constructed from ellipsoids using NUDES and graphical editors. The resulting challenges are far from conquered.

Morphism: a Symbolic List Processing Language

With the formal study of natural languages, we have obtained some residual results which greatly increase our power of logical manipulation. Coupled with a computer, our language extends enormously the external logic of our computing device. This paper is concerned with a well-defined symbolic list processing language and a set of operators for this language. These operators, which we call morp...

Algol-Genius

Algol-Genius, an Algol 60 implementation with features from COBOL, was the brainchild of Börje Langefors. In 1964, assembler was the dominant programming language, but Algol-Genius broke that trend among Datasaab D21 customers. Algol-Genius programs were still in production in the late nineties.

A List-Processing Optimizer for Curry

Linear Algebra ALGOL

Theoret ica l B a c k g r o u n d The procedure bisect is designed to replace the procedures tridibi I and 2 given in ES]. All three procedures are based essentially on the following theorem. Given a symmetric tridiagonal matrix with diagonal elements q to cn and off-diagonal elements b, to b, (with b 1 set equal to zero for completeness) and b i 4=0, then for any number 2 let the sequence Po (...