Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli. Synthesis of Programs in Abstract Data Types. In Pierre Flener, editor, Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings. Volume 1559 of Lecture Notes in Computer Science, pages 81-100, Springer, 1998. [doi]
@inproceedings{AvelloneFM98,
title = {Synthesis of Programs in Abstract Data Types},
author = {Alessandro Avellone and Mauro Ferrari and Pierangelo Miglioli},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1559/15590081.htm},
tags = {data-flow programming, data-flow},
researchr = {https://researchr.org/publication/AvelloneFM98},
cites = {0},
citedby = {0},
pages = {81-100},
booktitle = {Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR 98, Manchester, UK, June 15-19, 1998, Proceedings},
editor = {Pierre Flener},
volume = {1559},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65765-7},
}