Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)

個数:

Logic-Based Program Synthesis and Transformation : 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 241 p.
  • 商品コード 9783031712937

Full Description

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9-10, 2024.

The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.

Contents

.- Synthesis and Transformation.

.- Parallel Assembly Synthesis.

.- Improving Logic Programs by Adding Functions.

.- Decision Procedures.

.- Deciding Knowledge Problems Modulo Classes of Permutative Theories.

.- Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae.

.- Combined Abstract Congruence Closure for Theories with Associativity or Commutativity.

.- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems.

.- Deployment.

.- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications.

.- Specification, Refactoring and Testing.

.- An Axiomatic Category-Based Access Control Model for Smart Homes.

.- Towards Specification-Guarded Refactoring.

.- Impact and Performance of Randomized Test-Generation Using Prolog.

.- Term and Graph Rewriting.

.- Proving Uniqueness of Normal Forms wrt Reduction of Term Rewriting Systems.

.- Rewriting Induction for Higher-Order Constrained Term Rewriting Systems.

.- Introducing Quantification into a Hierarchical Graph Rewriting Language.

.- Introducing Quantification into a Hierarchical Graph Rewriting Language.

最近チェックした商品