Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Editors: Vidal, Germán (Ed.)
Free Preview- State of the art research
- Fast track conference proceedings
- Up to date results
Buy this book
- About this book
-
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.
- Table of contents (16 chapters)
-
-
Analysis of Logic Programs Using Regular Tree Languages
Pages 1-3
-
Dynamic Symbolic Computation for Domain-Specific Language Implementation
Pages 4-24
-
Resource-Driven CLP-Based Test Case Generation
Pages 25-41
-
A Declarative Embedding of XQuery in a Functional-Logic Language
Pages 42-56
-
Automata-Based Computation of Temporal Equilibrium Models
Pages 57-72
-
Table of contents (16 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic-Based Program Synthesis and Transformation
- Book Subtitle
- 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
- Editors
-
- Germán Vidal
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7225
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-32211-2
- DOI
- 10.1007/978-3-642-32211-2
- Softcover ISBN
- 978-3-642-32210-5
- Edition Number
- 1
- Number of Pages
- X, 254
- Number of Illustrations
- 61 b/w illustrations
- Topics
