The algorithm of generalization (1988)

by V F Turchin
Venue:in the supercompiler. Partial Evaluation and Mixed Computation