One-pass code generation using continuations
Keith Clarke · 1989
Translation schema are described, using the functional notation of Peyton Jones, which make possible the generation of high quality code for conditional formulas and boolean expressions. These use contextual information describing the continuation of evaluation after that of the formula being translated. The technique can be used for the incremental improvement of a code generator, leading eventually to one that never generates jumps to jumps and making it possible to optimise target machine instructions that have been described in the literature as 'logically adjacent'. The method is efficient and can be applied to conventional programming languages such as C and Modula 2.