Synthesis of Programs in Abstract Data Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alessandro Avellone' in GoogleThis author has not been identified. Look up 'Mauro Ferrari' in GoogleThis author has not been identified. Look up 'Pierangelo Miglioli' in Google

runs on WebDSL