Logic-Based Program Synthesis and Transformation
Subtitle: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Publisher: Springer Berlin / Heidelberg
Published: 2012
Language: eng
ISBN-13: 9783642322105
Subjects: Logic programming; Computational complexity; Computer science; Software engineering; Computer programming