An introduction to the set theoretical language SETL

AbstractThe problem of programming is discussed and a two-stage approach to programming is proposed. This approach would first produce abstract algorithms ignoring efficiency considerations; then it would produce concrete algorithms by the addition of data structuring. The settheoretic language (SETL) is introduced as a suitable vehicle for the formulation of abstract algorithms. An extensive description of SETL and examples of its use are included