| 摘要 |
A compiler and compilation method for processing a source program in a programming language in the Scheme/Lisp family into a representation known as continuation-passing style (CPS) before generating object code, with optimization also being involved in the processing. To simplify the code generator and optimization, and to allow the same code generator to be used for both non-loop as well as for loop functions, novel algorithms are described which find in the standard CPS intermediate tree sets of non-continuation lambda expressions with a common continuation, which can then be converted to optimized CPS code that can be processed by the same code generator as non-loop continuation functions. |
