Program Transformation by Supercompilation (1986)

by V Turchin
Venue:In Programs as Data Objects