{"product_id":"9783032048479","title":"Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings (Lecture Notes in Computer Science)","description":"\u003cp\u003eThis 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.\u003c\/p\u003e\u003cp\u003eThe 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.\u003c\/p\u003e \u003cp\u003e.- Symbolic Computation and Verification Methods in Maude.\u003c\/p\u003e\u003cp\u003e.- Verifying Smart Contracts in Yul via Transformation to CHC by\nInterpreter Specialization.\u003c\/p\u003e\u003cp\u003e.- Implementing a Many-Valued Semantics for Logic Programs with\nOrdered Disjunction Using ASP.\u003c\/p\u003e\u003cp\u003e.- Extending the FSyntax\/Hiord Approach with Imperative Notation.\u003c\/p\u003e\u003cp\u003e.- Higher-Order Pattern Unification Modulo Similarity Relations.\u003c\/p\u003e\u003cp\u003e.- A Completion Procedure for Equational Rewriting Systems with Binders.\u003c\/p\u003e\u003cp\u003e.- Automated Certification of Logic Programs Groundness Analysis.\u003c\/p\u003e\u003cp\u003e.- Managing Analysis and Verification Information about Curry Packages.\u003c\/p\u003e\u003cp\u003e.- Program synthesis for geometric modeling.\u003c\/p\u003e\u003cp\u003e.- Recurrent Pairs Revisited.\u003c\/p\u003e\u003cp\u003e.- Logica and LogicLM Program Synthesis Evaluation.\u003c\/p\u003e\u003cp\u003e.- Characterizing Equivalence of Logically Constrained Terms via\nExistentially Constrained Terms.\u003c\/p\u003e\u003cp\u003e.- Focusing Recursive LLM Descents with Plans Expressed as Logic\nPrograms.\u003c\/p\u003e","brand":"Springer Nature Switzerland AG","offers":[{"title":"Default Title","offer_id":49895700758776,"sku":"00000_00000_00000_00000","price":127.27,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/8208\/6904\/files\/9783032048479-1.jpg?v=1783773140","url":"https:\/\/kinokuniya.com.au\/products\/9783032048479","provider":"Books Kinokuniya Australia","version":"1.0","type":"link"}