Rewriting techniques for program synthesis

This publication has 9 references indexed in Scilit:

• Transformational derivation of programs using the focus system
  Published by Association for Computing Machinery (ACM) ,1988
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• A Strong restriction of the inductive completion procedure
  Lecture Notes in Computer Science, 1986
• Proof by induction using test sets
  Published by Springer Nature ,1986
• A rewrite rule based approach for synthesizing abstract data types
  Published by Springer Nature ,1985
• Orderings for term-rewriting systems
  Theoretical Computer Science, 1982
• Proving termination with multiset orderings
  Communications of the ACM, 1979
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935