Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Published on 20. October 2012
Book
Paperback/Softback
X, 254 pages
978-3-642-32210-5 (ISBN)
Description
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
More details
Series
Edition
2012 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
61 s/w Abbildungen
X, 254 p. 61 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
406 gr
ISBN-13
978-3-642-32210-5 (9783642322105)
DOI
10.1007/978-3-642-32211-2
Schweitzer Classification
Other editions
Additional editions
Germán Vidal
Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
E-Book
07/2012
Springer
€48.14
Available for download
Content
Specification.-synthesis.-verification.-analysis.-optimization.-specialization.-security.-certification.-applications and tools.-program/model manipulation.- transformation techniques for any programming language paradigm.