Del 16117 - Lecture Notes in Computer Science

Logic-Based Program Synthesis and Transformation

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

Häftad, Engelska, 2025

819 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2025-09-13
Mått155 x 235 x 13 mm
Vikt347 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor213
FörlagSpringer Nature Switzerland AG
ISBN9783032048479

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

.- 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.