Logic-Based Program Synthesis and Transformation - Info and Reading Options

Open Data:

Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Formal Methods for JavaScript -- Constrained Horn Clauses for Verification -- Experiences in Designing Scalable Static Analyses -- Abstracts of Invited Tutorials -- The VeriMAP System for Program Transformation and Verification -- 25 Years of Ciao -- Contents -- Analysis of Term Rewriting -- Proving Program Properties as First-Order Satisfiability -- 1 Introduction -- 2 Many-Sorted First-Order Logic -- 3 Preservation of Many-Sorted First-Order Sentences -- 4 Surjective Homomorphisms -- 5 Examples of Application with Positive Sentences -- 5.1 Complete Definedness and Commutativity -- 5.2 Top-Termination -- 6 Refutation Witnesses -- 7 Example of Application with General Sentences -- 8 Related Work -- 9 Conclusions and Future Work -- References -- Guided Unfoldings for Finding Loops in Standard Term Rewriting -- 1 Introduction -- 2 Preliminaries -- 3 Guided Unfoldings -- 4 Inferring Terms that Loop -- 5 Further Comparisons with the Approach of payet08 -- 6 Experiments -- 7 Conclusion -- References -- Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms -- 1 Introduction -- 2 Preliminaries -- 2.1 Pure Homeomorphic Embedding -- 3 Homeomorphic Embedding Modulo Equational Axioms -- 4 Goal-Driven Homeomorphic Embedding Modulo B -- 4.1 An Homeomorphic Embedding Calculus Modulo B -- 4.2 Reachability-Based, Goal-Driven Homeomorphic Embedding Formulation -- 5 Meta-Level Deterministic Goal-Driven Homeomorphic Embedding Modulo B -- 6 Experiments -- 7 Concluding Remarks -- References -- Logic-Based Distributed/Concurrent Programming -- Multiparty Classical Choreographies -- 1 Introduction -- 2 Preview -- 3 GCP with Hypersequents -- 4 Extending GCP with Choreographies -- 5 Projection and Extraction -- 6 Related Work and Discussion -- References

Search for “Logic-Based Program Synthesis and Transformation” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Logic-Based Program Synthesis and Transformation” in Libraries Near You:

Read or borrow “Logic-Based Program Synthesis and Transformation” from your local library.

• The WorldCat Libraries Catalog: Find a copy of “Logic-Based Program Synthesis and Transformation” at a library near you.