Logic based program synthesis and transformation: 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers

Media type: Book; Conference Proceedings
Title: Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 ; revised selected papers
Contributor: Hill, Patricia M. [Hrsg.]
Event: LOPSTR
imprint: Berlin; Heidelberg [u.a.]: Springer, 2006
Published in: Lecture notes in computer science ; 3901
Extent: X, 178 S.; graph. Darst; 235 mm x 155 mm
Language: English
ISBN: 3540326545; 9783540326540
Publisher, production or purchase order numbers: Sonstige Nummer: 11680093
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Logische Programmierung > Programmsynthese
Logische Programmierung > Programmtransformation
Computational logic
Origination:
Footnote: Literaturangaben

Logic based program synthesis and transformation