IMPLEMENTATION OF AN OPTIMIZING COMPILER FOR THE PROCEDURAL SUBSET OFTHE ALGEBRAIC PROGRAMMING LANGUAGE OF THE APS SYSTEM

The development of the theory and practice of compiler design has led to the emergence of various strategies, methods, and tools of program optimization [1]. Traditionally, optimization is performed internally by the compiler based on analysis of data, control, and context condit ions. The L2B-L2C optimizing multialternative compiler is proposed in [2] for compiling the procedural subset of the interpreted untyped lan guage APLAN of the algebraic programming system APS [3] (the language L2B) into an extension of C for manipulation of algebraic objects (the language L2C). In addition to traditional optimization, APS provides external control of compiling and optimization based on hierarchical a lgebraic specifications of name types and optimal translations of alge braic operations. The specifications are defined by the user in the so urce program. The process of compiling is treated as one of the phases of the programming process [4] in an algebraic programming environmen t intended to optimize APLAN programs. The L2B-L2C compiler analyzes t he information environment of the compiled objects extended by these s pecifications and represented in dictionaries and type arrays, and als o selects on the basis of the analysis the best translation for each e xpression and operator.