Goal-oriented derivation of logic programs

This publication has 5 references indexed in Scilit:

• Strategies for the Synthesis of Algorithms
  Published by Springer Nature ,1978
• A fast string searching algorithm
  Communications of the ACM, 1977
• The automatic synthesis of recursive programs
  Published by Association for Computing Machinery (ACM) ,1977
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Goal-Directed Program Transformation
  IEEE Transactions on Software Engineering, 1976