Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Logic-Based Program Synthesis and Transformation

33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Robert Glück

    1. University of Copenhagen, Copenhagen, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bishoksan Kafle

    1. IMDEA Software Institute, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2023.

  • 3211 Accesses

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

Access this book

Log in via an institution

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. 

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.

Keywords

Table of contents (13 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  3. Horn Clauses Analysis, Transformation and Synthesis

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples

      • Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
      Pages 9-27

    3. Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

      • John P. Gallagher, Manuel Hermenegildo, José Morales, Pedro Lopez-Garcia
      Pages 28-38

    4. Constrained Horn Clauses Satisfiability via Catamorphic Abstractions

      • Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
      Pages 39-57

  4. Static Analysis and Type Systems

    1. Front Matter

      Pages 59-59
      Download chapter PDF

    2. A Reusable Machine-Calculus for Automated Resource Analyses

      • Hector Suzanne, Emmanuel Chailloux
      Pages 61-79

    3. A Rule-Based Approach for Designing and Composing Abstract Domains

      • Daniel Jurjo, José Morales, Pedro Lopez-Garcia, Manuel Hermenegildo
      Pages 80-98

    4. A Logical Interpretation of Asynchronous Multiparty Compatibility

      • Marco Carbone, Sonia Marin, Carsten Schürmann
      Pages 99-117

    5. Relational Solver for Java Generics Type System

      • Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev
      Pages 118-128

  5. Unification and Substitution in (C)LP

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Predicate Anti-unification in (Constraint) Logic Programming

      • Gonzague Yernaux, Wim Vanhoof
      Pages 131-149

    3. A Term Matching Algorithm and Substitution Generality

      • Marija Kulaš
      Pages 150-166

  6. Knowledge Representation and AI-Based Learning

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification

      • Jordina Francès de Mas, Juliana Bowles
      Pages 169-187

    3. From Static to Dynamic Access Control Policies via Attribute-Based Category Mining

      • Anna Bamberger, Maribel Fernández
      Pages 188-197

    4. Towards a Certified Proof Checker for Deep Neural Network Verification

      • Remi Desmartin, Omri Isac, Grant Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
      Pages 198-209

  7. Back Matter

    Pages 211-211
    Download chapter PDF
Back to top

Other volumes

  1. Logic-Based Program Synthesis and Transformation

Editors and Affiliations

  • University of Copenhagen, Copenhagen, Denmark

    Robert Glück

  • IMDEA Software Institute, Madrid, Spain

    Bishoksan Kafle

Bibliographic Information

  • Book Title: Logic-Based Program Synthesis and Transformation

  • Book Subtitle: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

  • Editors: Robert Glück, Bishoksan Kafle

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-45784-5

  • 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 2023

  • Softcover ISBN: 978-3-031-45783-8Published: 16 October 2023

  • eBook ISBN: 978-3-031-45784-5Published: 15 October 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 211

  • Number of Illustrations: 34 b/w illustrations, 11 illustrations in colour

  • Topics: Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation