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 53,49 €
price for Spain (gross)
  • ISBN 978-3-030-68446-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
  • 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
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 53,49 €
price for Spain (gross)
  • ISBN 978-3-030-68446-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 67,59 €
price for Spain (gross)
  • 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
  • The final prices may differ from the prices shown due to specifics of VAT rules
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