Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9 10, 2025.
The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all 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.

List of contents

.- Symbolic Computation and Verification Methods in Maude.
.- Verifying Smart Contracts in Yul via Transformation to CHC by
Interpreter Specialization.
.- Implementing a Many-Valued Semantics for Logic Programs with
Ordered Disjunction Using ASP.
.- Extending the FSyntax/Hiord Approach with Imperative Notation.
.- Higher-Order Pattern Unification Modulo Similarity Relations.
.- A Completion Procedure for Equational Rewriting Systems with Binders.
.- Automated Certification of Logic Programs Groundness Analysis.
.- Managing Analysis and Verification Information about Curry Packages.
.- Program synthesis for geometric modeling.
.- Recurrent Pairs Revisited.
.- Logica and LogicLM Program Synthesis Evaluation.
.- Characterizing Equivalence of Logically Constrained Terms via
Existentially Constrained Terms.
.- Focusing Recursive LLM Descents with Plans Expressed as Logic
Programs.

Summary

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9–10, 2025.
The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all 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.

Product details

• Assisted by: Santiago Escobar (Editor), Titolo (Editor), Laura Titolo (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 07.10.2025
• EAN: 9783032048479
• ISBN: 978-3-0-3204847-9
• No. of pages: 213
• Dimensions: 155 mm x 12 mm x 235 mm
• Weight: 347 g
• Illustrations: X, 213 p. 51 illus., 39 illus. in color.
• Series: Lecture Notes in Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; refactoring, Computer Science Logic and Foundations of Programming, system specification, Program synthesis, Program transformation, program composition, system analysis and verification, transformational techniques in software engineering, program specialization, verification and testing of AI-based systems, logic-based methods for security, program optimization, program inversion, AI-methods for program development, program testing and certification