00000cmm a22000004i 4500 UP-99796217611135043 Buklod 20140228110749.0 m go j cr |n |||auu|a 140228s2011 xx d u 9783642205514 (eBook) 3642205518 (eBook) (iLib)UPD-00214604034 DLC DML eng DMLUC QA 76.63 L67 2011eb LOPSTR (Symposium) (20th 2010 Hagenberg, Austria) Logic-based program synthesis and transformation [electronic resource] 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Maria Alpuente, (Ed.). Berlin Heidelberg Springer 2011. 1 online resource (x, 249 p.) Lecture Notes in Computer Science 0302-9743 6564 IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm. Electronic reproduction. New York SpringerLink c2011. Available via World Wide Web through SpringerLink. Logic programming Congresses. Computer programming Congresses. Electronic books. Alpuente, Maria. SpringerLink (Online service). Lecture Notes in Computer Science 0302-9743 6564 Available for University of the Philippines Diliman via SpringerLink. Click here to access http://dx.doi.org/10.1007/978-3-642-20551-4 (viewed 18 August 2014) FO Monograph UPD DMLR Electronic Resource