Skip to main content

Logic-Based Program Synthesis and Transformation

32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2022.

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

Access this book

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

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 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.
The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Similar content being viewed by others

Keywords

Table of contents (8 papers)

  1. Analysis of Rewrite Systems

  2. Verification and Synthesis

  3. Logic Programming

Other volumes

  1. Logic-Based Program Synthesis and Transformation

Editors and Affiliations

  • Universitat Politècnica de València, Valencia, Spain

    Alicia Villanueva

Bibliographic Information

  • Book Title: Logic-Based Program Synthesis and Transformation

  • Book Subtitle: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings

  • Editors: Alicia Villanueva

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-16767-6

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022

  • Softcover ISBN: 978-3-031-16766-9Published: 11 September 2022

  • eBook ISBN: 978-3-031-16767-6Published: 10 September 2022

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 155

  • Number of Illustrations: 15 b/w illustrations, 16 illustrations in colour

  • Topics: Logics and Meanings of Programs

Publish with us