Theoretical Computer Science and General Issues
cover

Logic-Based Program Synthesis and Transformation

30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings

Editors: Fernández, Maribel (Ed.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-030-68446-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-030-68445-7
  • 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 refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.

Table of contents (17 chapters)

Table of contents (17 chapters)
  • Symbolic Computation in Maude: Some Tapas

    Pages 3-36

    Meseguer, José

  • Runtime Complexity Analysis of Logically Constrained Rewriting

    Pages 37-55

    Winkler, Sarah (et al.)

  • Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables

    Pages 56-73

    Kikuchi, Kentaro (et al.)

  • Pattern Eliminating Transformations

    Pages 74-92

    Cirstea, Horatiu (et al.)

  • Nominal Unification with Letrec and Environment-Variables

    Pages 95-112

    Schmidt-Schauß, Manfred (et al.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-030-68446-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-030-68445-7
  • 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
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Editors
  • Maribel Fernández
Series Title
Theoretical Computer Science and General Issues
Series Volume
12561
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-68446-4
DOI
10.1007/978-3-030-68446-4
Softcover ISBN
978-3-030-68445-7
Edition Number
1
Number of Pages
X, 345
Number of Illustrations
63 b/w illustrations, 1 illustrations in colour
Topics