The algorithm of generalization in the supercompiler (1988)

by V F Turchin
Venue:In: Partial Evaluation and Mixed Copmutation