Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14330)
Included in the following conference series:
Conference proceedings info: LOPSTR 2023.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Keynote
-
Horn Clauses Analysis, Transformation and Synthesis
-
Unification and Substitution in (C)LP
-
Knowledge Representation and AI-Based Learning
Other volumes
-
Logic-Based Program Synthesis and Transformation
Keywords
- Synthesis
- logic-based program development
- transformation
- transformational techniques in software engineering
- applications, tools and industrial practice
- Logic Programming
- Propositional Formula Simplification
- Constrained Horn Clauses
- Term Matching
- Type System
- Predicate Anti-unification
- Program Semantics
- Program Transformation
- Program Synthesis
- Program Specialization
- Program Inversion
- Program Optimization
- Program Verification
- Partial Evaluation
- Deep Neural Network
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.
Editors and Affiliations
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