Deductive and inductive synthesis of equational programs
- 30 June 1993
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 15 (5-6) , 467-494
- https://doi.org/10.1016/s0747-7171(06)80002-7
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Equational inference, canonical proofs, and proof orderingsJournal of the ACM, 1994
- A completion procedure for conditional equationstJournal of Symbolic Computation, 1991
- A strong restriction of the inductive completion procedureJournal of Symbolic Computation, 1989
- Termination of rewritingJournal of Symbolic Computation, 1987
- Conditional rewrite rules: Confluence and terminationJournal of Computer and System Sciences, 1986
- Computing with rewrite systemsInformation and Control, 1985
- Some Techniques for Recursion Removal from Recursive FunctionsACM Transactions on Programming Languages and Systems, 1982
- A System for Assisting Program TransformationACM Transactions on Programming Languages and Systems, 1982
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975