6533b7d5fe1ef96bd126454a

RESEARCH PRODUCT

Inductive synthesis of term rewriting systems

Guntis Barzdins

subject

Inductive synthesisTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer scienceBinary multiplicationProcess (computing)RewritingAutomatic learningAbstract data typeAlgorithmFast algorithmTerm (time)

description

Fast algorithm for inductive synthesis of term rewriting systems is described and proved to be correct. It is implemented and successfully applied for inductive synthesis of different algorithms, including the binary multiplication. The algorithm proposed supports automatic learning process and can be used for designing and implementation of ADT.

yearjournalcountryeditionlanguage
2005-11-22
https://doi.org/10.1007/bfb0019361