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

Open Data:

Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Challenges in Compiling Coq -- Static Analysis for Security at the Facebook Scale -- Learning from Programs: Probabilistic Models, Program Analysis and Synthesis -- Contents -- Program Transformation -- Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms -- 1 Introduction -- 2 Specializing Equational Theories Modulo Axioms -- 2.1 The NPE Approach -- 2.2 Partial Evaluation of Convergent Rules Modulo Axioms -- 2.3 Equational Closedness -- 3 The Partial Evaluation Scheme for Equational Theories -- 3.1 Equational Homeomorphic Embedding -- 3.2 Equational Abstraction via Equational Least General Generalization -- 3.3 Equational Post-processing Renaming -- 3.4 Strong Correctness -- 4 Experiments -- 5 Conclusion and Future Work -- References -- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell -- 1 Introduction -- 2 Source Language -- 2.1 Operational Semantics -- 3 Target Language -- 3.1 Runtime Execution -- 4 Correctness and Resource Preservation -- 4.1 Preservation of Resource Consumption -- 5 Experimental Evaluation -- 6 Conclusion and Future Work -- References -- Verification of Time-Aware Business Processes Using Constrained Horn Clauses -- 1 Introduction -- 2 Preliminaries -- 2.1 Constrained Horn Clauses over Integers -- 2.2 Business Processes Model and Notation -- 3 Specification and Semantics of Business Processes -- 3.1 Business Process Specification via CHCs -- 3.2 Operational Semantics -- 4 Encoding Time-Dependent Properties into CHCs -- 4.1 Encoding the Operational Semantics in CHCs -- 4.2 Encoding Time-Dependent Properties -- 4.3 Predicate Equivalence -- 5 Automated Verification -- 6 Related Work -- 7 Conclusions -- References -- Constraint Programming -- MiniZinc with Strings -- 1 Introduction -- 2 Background

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.