Authors
Guntis Barzdins
Publication date
1991
Conference
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings 7
Pages
1-10
Publisher
Springer Berlin Heidelberg
Description
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.
Total citations
Scholar articles
G Barzdins - Recent Trends in Data Type Specification: 7th …, 1991