Compiling flang

Abstract

The problems of compilation of a functional-logic language Flang axe considered. A new phase of compilation -global dataflow analysis -is discussed. It is shown that this phase can extremely improve the performance of a produced code. For some benchmarks a code which is produced by the Flang compiler has about the same speed as the speed of corresponding Pascal programs. IntroductionIn this paper we consider the main aspects of implementation of a functional-logic lan- s optimizations for parameters management of a functional style;• implementation of a special technique for algebraic computations;• a support of a constraint satisfaction technique [3];• additional instructions to support special tools (e.g. conditional expressions);The Flang compilation process consists of four principal stages. The first phase is translation of a Flang source program into some simplified form. After this, the compiler fulfills very significant and quite new step --the global dataflow analysis of a program.