Abstract
The method announced in this paper develops the inductive approach for implementing algebraic ADT. We tried to describe here some framework for this approach and to demonstrate it and its problems on simple examples.
The concept of the partial model seems for us to be a very interesting object for inductive synthesis as there exist good inductive synthesis algorithms for applicable classes of ADT.
Another point of interest in the described method was the use of indication functions in the optimizing of encoding. It seems to be worthwhile to develop this approach, too.
And at the end it should be noted, that there is a lot of possibilities in this approach to combine inductive methods with deductive ones. For instance, we can try to prove that the encoding function satisfies the ADT axioms. Another use of deductive methods here is to generate type operations directly from the encoding function.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Specification and Description Language (SDL). CCITT Recommendation Z.100, Geneva, 1987.
Bergstra J.A., Heering J.: "Algebraic specification", ACM Press frontier series, 1989.
Gold E.M.: Language identification in the limit, Inf. Control 10, 1967.
Angluin D., Smith C.H.: Inductive Inference: Theory and Methods, Computing Surveys, Vol.15,No.3, September 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barzdins, G. (1989). Inductive synthesis of encoding for algebraic abstract data types. In: Jantke, K.P. (eds) Analogical and Inductive Inference. AII 1989. Lecture Notes in Computer Science, vol 397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51734-0_72
Download citation
DOI: https://doi.org/10.1007/3-540-51734-0_72
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51734-4
Online ISBN: 978-3-540-46798-4
eBook Packages: Springer Book Archive