Skip to main content

Logic-Based Program Synthesis and Transformation

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

  • Conference proceedings
  • © 2021


Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12561)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: LOPSTR 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others


Table of contents (17 papers)

  1. Rewriting

  2. Unification

  3. Types

  4. Verification

  5. Model Checking and Probabilistic Programming

  6. Program Analysis and Testing

Other volumes

  1. Logic-Based Program Synthesis and Transformation

Editors and Affiliations

  • King’s College London, London, UK

    Maribel Fernández

Bibliographic Information

Publish with us