Logic-Based Program Synthesis and Transformation, Kartoniert / Broschiert
Logic-Based Program Synthesis and Transformation
- 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
- Publisher:
- Santiago Escobar, Laura Titolo
- Publisher:
- Springer, 09/2025
- Binding:
- Kartoniert / Broschiert
- Language:
- Englisch
- ISBN-13:
- 9783032048479
- Item number:
- 12383672
- Volume:
- 224 Pages
- Weight:
- 347 g
- Format:
- 235 x 155 mm
- Thickness:
- 13 mm
- Release date:
- 13.9.2025
- Series:
- Lecture Notes in Computer Science - volume 16117
- Note
-
Caution: Product is not in German language
Blurb
.- 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.
