Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Editors: Proietti, Maurizio, Seki, Hirohisa (Eds.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-17822-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-17821-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • Analyzing Array Manipulating Programs by Program Transformation

    Cornish, J. Robert M. (et al.)

    Pages 3-20

  • Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction

    Schreye, Danny (et al.)

    Pages 21-38

  • Confluence Modulo Equivalence in Constraint Handling Rules

    Christiansen, Henning (et al.)

    Pages 41-58

  • Exhaustive Execution of CHR Through Source-to-Source Transformation

    Elsawy, Ahmed (et al.)

    Pages 59-73

  • A Formal Semantics for the Cognitive Architecture ACT-R

    Gall, Daniel (et al.)

    Pages 74-91

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-319-17822-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-17821-9
  • 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
24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Editors
  • Maurizio Proietti
  • Hirohisa Seki
Series Title
Theoretical Computer Science and General Issues
Series Volume
8981
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-17822-6
DOI
10.1007/978-3-319-17822-6
Softcover ISBN
978-3-319-17821-9
Edition Number
1
Number of Pages
XII, 333
Number of Illustrations
61 b/w illustrations
Topics