Automatic construction of special purpose programs

This publication has 4 references indexed in Scilit:

• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• A Characterization of Ten Hidden-Surface Algorithms
  ACM Computing Surveys, 1974