Compile time type determination in SETL

In this paper, some features of the SETL language are presented. Also discussed are two methods for determining the data types of runtime objects in higher level languages from the static program text. The first method determines the type of a variable from the way in which it is defined, while the second method determines its type from the way it is subsequently used. This technique is shown to be of value in producing optimized object code. An implementation of the technique is also discussed and an example of the results produced under the implementation for a specific SETL program is presented.