{"product_id":"logicbased-program-synthesis-and-transformation-9783032048479","title":"LogicBased Program Synthesis and Transformation","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\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\u003cbr\u003eInterpreter Specialization.\u003c\/p\u003e\u003cp\u003e.- Implementing a Many-Valued Semantics for Logic Programs with\u003cbr\u003eOrdered 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\u003cbr\u003eExistentially Constrained Terms.\u003c\/p\u003e\u003cp\u003e.- Focusing Recursive LLM Descents with Plans Expressed as Logic\u003cbr\u003ePrograms.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195522539863,"sku":"9783032048479","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/logicbased-program-synthesis-and-transformation-9783032048479","provider":"Book Curl","version":"1.0","type":"link"}