Get 40% off our selection of bestselling print books in Engineering through October 31st!

Theoretical Computer Science and General Issues

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.)

  • State of the art research
  • Fast track conference proceedings
  • Up to date results
see more benefits

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-32211-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA in USD
  • ISBN 978-3-642-32210-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

    Gallagher, John P.

    Pages 1-3

  • Dynamic Symbolic Computation for Domain-Specific Language Implementation

    Henglein, Fritz

    Pages 4-24

  • Resource-Driven CLP-Based Test Case Generation

    Albert, Elvira (et al.)

    Pages 25-41

  • A Declarative Embedding of XQuery in a Functional-Logic Language

    Almendros-Jiménez, Jesús M. (et al.)

    Pages 42-56

  • Automata-Based Computation of Temporal Equilibrium Models

    Cabalar, Pedro (et al.)

    Pages 57-72

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-32211-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA in USD
  • ISBN 978-3-642-32210-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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 and Tables
61 b/w illustrations
Topics