Supercompilation: homeomorphic embedding, call-by-name, partial evaluation

There are considered a number of issues related to supercompilation: (1) the use of the homeomorphic embedding relation for ensuring termination of supercompilation, (2) the peculiarities of supercompilation for the languages with call-by-name and call-by-value parameter passing, and (3) the advantages and drawbacks of supercompilation and partial evaluation.