Compile time type determination in SETL

Authors:
Aaron M. Tenenbaum
Affiliations:
-
Venue:
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Year:
1974

Citing 3
Cited 1

Compiler Construction for Digital Computers

Compiler Construction for Digital Computers
Automatic and semiautomatic optimization of SETL

Proceedings of the ACM SIGPLAN symposium on Very high level languages
Control flow analysis

Proceedings of a symposium on Compiler optimization

Experiments in Optimizing FP

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.