A rewrite rule based approach for synthesizing abstract data types

This publication has 12 references indexed in Scilit:

• Computer experiments with the REVE term rewriting system generator
  Published by Association for Computing Machinery (ACM) ,1983
• Orderings for term-rewriting systems
  Theoretical Computer Science, 1982
• Rewrite rule theory and abstract data type analysis
  Lecture Notes in Computer Science, 1982
• A System for Assisting Program Transformation
  ACM Transactions on Programming Languages and Systems, 1982
• Complete Sets of Reductions for Some Equational Theories
  Journal of the ACM, 1981
• Proofs by induction in equational theories with constructors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• On proving inductive properties of abstract data types
  Published by Association for Computing Machinery (ACM) ,1980
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977