Logic based program synthesis and transformation
Subtitle: 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
By: Patricia M. Hill (ed.).
Contributors: Hill, Patricia, 1942-
Series: Lecture notes in computer science -- 3901
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 178
Subjects: Logic programming -- Congresses.
Genres: Congresses.
Other titles: LOPSTR 2005
Notes: Held concurrently with SAS 2005, the Symposium on Static Analysis in Imperial College, University of London.

Includes bibliographical references and author index.