ADT implementation and completion by induction from examples

  • Guntis Barzdins
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 534)


There exists a fast algorithm [2] for inductive synthesis of terminating and ground confluent term rewriting systems from samples. The principles of this algorithm and the methodology of its use for implementation and completion of abstract data types are described.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    D. Angluin and C.H. Smith, Inductive Inference: Theory and Methods, Computing Surveys 15, 237–264, 1983.CrossRefGoogle Scholar
  2. [2]
    G.Barzdins, Inductive synthesis of term rewriting systems, In: Baltic Computer Science, Lecture Notes in Computer Science; Springer Verlag 1991 (to appear).Google Scholar
  3. [3]
    J.M.Bardzin and G.J.Barzdin, Rapid construction of algebraic axioms from samples, In: Images of Programming; North-Holland 1991 (to appear).Google Scholar
  4. [4]
    G.Huet and D.C.Oppen, Equations and Rewrite Rules: A Survey. In (Book, R., ed.) Formal Language theory: Perspectives and Open Problems, 349–405, 1980.Google Scholar
  5. [5]
    N. Dershowitz, Termination of Rewriting, Symbolic Computation 3, 69–116, 1987.Google Scholar
  6. [6]
    E.W. Dijkstra, A note on two problems in connection with graphs, Numerische Math 1, 269–271, 1959.CrossRefGoogle Scholar
  7. [7]
    M. Thomas and K.P. Jantke, Inductive inference for solving divergence in Knuth-Bendix completion, Lecture Notes in Artificial Intelligence 397, 288–303, 1989.Google Scholar
  8. [8]
    A.Togashi and S.Noguchi, Inductive inference of term rewriting systems realizing algebras, Proceedings of the Workshop on Algorithmic Learning Theory (North-Holland), 411–423, 190.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Guntis Barzdins
    • 1
  1. 1.Institute of Mathematics and Computer ScienceUniversity of LatviaRigaLatvia

Personalised recommendations