Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Editors: Mesnard, Fred, Stuckey, Peter J. (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-030-13838-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-13837-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis. 

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Proving Program Properties as First-Order Satisfiability

    Pages 3-21

    Lucas, Salvador

  • Guided Unfoldings for Finding Loops in Standard Term Rewriting

    Pages 22-37

    Payet, Étienne

  • Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

    Pages 38-55

    Alpuente, María (et al.)

  • Multiparty Classical Choreographies

    Pages 59-76

    Carbone, Marco (et al.)

  • A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Pages 77-93

    Papapanagiotou, Petros (et al.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-030-13838-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-13837-0
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic-Based Program Synthesis and Transformation
Book Subtitle
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Editors
  • Fred Mesnard
  • Peter J. Stuckey
Series Title
Theoretical Computer Science and General Issues
Series Volume
11408
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-13838-7
DOI
10.1007/978-3-030-13838-7
Softcover ISBN
978-3-030-13837-0
Edition Number
1
Number of Pages
XX, 203
Number of Illustrations
561 b/w illustrations, 4 illustrations in colour
Topics