Supercompilation: main principles and basic concepts

An introduction to supercompilation, a program analysis and transformation technique, is given. Main principles and basic concepts of supercompilation are explained by examples: driving, generalization and looping back. The early history of supercompilation is briefly described. The use of a simple supercompiler SPSC, provided in the public domain via the Internet, along with a set of examples and open source codes, is also explained.