Logic-Based Program Synthesis and Transformation

35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

AvSantiago Escobar,Laura Titolo

Häftad, Engelska, 2025

Del 16117 i serien Lecture Notes in Computer Science

641 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2025-09-13
Mått:155 x 235 x 13 mm
Vikt:347 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:213
Förlag:Springer Nature Switzerland AG
ISBN:9783032048479

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

.- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC byInterpreter Specialization..- Implementing a Many-Valued Semantics for Logic Programs withOrdered 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 viaExistentially Constrained Terms..- Focusing Recursive LLM Descents with Plans Expressed as LogicPrograms.