Ssu-cheng Liu and Robert Paige. Data structure choice/formal differentiation : Two papers on very high level program optimization. September 1979.
Ssu-cheng Liu and Robert Paige. Data structure choice/formal differentiation : Two papers on very high level program optimization. Courant Computer Science Report #15, NYU, September 1979. Combines SETL-related Ph.D. theses of Liu and Paige.
Size 20.7 MB - File type application/pdf