Logic program synthesis

This publication has 41 references indexed in Scilit:

• Formal Mathematics for Verifiably Correct Program Synthesis
  Logic Journal of the IGPL, 1996
• Proof method of partial correctness and weak completeness for normal logic programs
  The Journal of Logic Programming, 1993
• Rippling: A heuristic for guiding inductive proofs
  Artificial Intelligence, 1993
• A method for specializing logic programs
  ACM Transactions on Programming Languages and Systems, 1990
• The Synthesis of Logic Programs from Inductive Proofs
  Published by Springer Nature ,1990
• KIDS: a semiautomatic program development system
  IEEE Transactions on Software Engineering, 1990
• Compiling control
  The Journal of Logic Programming, 1989
• Proofs as programs
  ACM Transactions on Programming Languages and Systems, 1985
• Derivation of Logic Programs
  Journal of the ACM, 1981
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980