Description

Book Synopsis

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

LogicBased Program Synthesis and Transformation

    Product form

    £49.99

    Includes FREE delivery

    Order before 4pm today for delivery by Sat 1 Aug 2026.

    A Paperback by Santiago Escobar

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of LogicBased Program Synthesis and Transformation by Santiago Escobar

      Publisher: Springer
      Publication Date: Publication Date: 07/10/2025
      ISBN13: 9783032048479, 978-3032048479
      ISBN10:
      Also in:
      Computing Mathematical theory of computation

      Description

      Book Synopsis

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

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account