Guntis Barzdins. ADT Implementation and Completion by Induction from Examples. In Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel, editors, Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Volume 534 of Lecture Notes in Computer Science, pages 1-10, Springer, 1990.
@inproceedings{Barzdins90,
title = {ADT Implementation and Completion by Induction from Examples},
author = {Guntis Barzdins},
year = {1990},
researchr = {https://researchr.org/publication/Barzdins90},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990},
editor = {Hartmut Ehrig and Klaus P. Jantke and Fernando Orejas and Horst Reichel},
volume = {534},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54496-8},
}