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

Open Data:

Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Programming by Examples: Applications, Algorithms, and Ambiguity Resolution -- A Verification Technique for Deterministic Parallel Programs -- K: A Logic-Based Framework for Program Semantics and Analysis -- Contents -- Analysis -- Generation of Initial Contexts for Effective Deadlock Detection -- 1 Motivation -- 2 Asynchronous Programs -- 3 Specifying and Generating Initial Contexts -- 4 On Automatically Inferring Deadlock-Interfering Tasks -- 4.1 Deadlock Analysis and Abstract Deadlock Cycles -- 4.2 Generation of Initial Tasks -- 5 Experimental Evaluation -- 6 Conclusions and Related Work -- References -- A Rule-Based Approach to Analyzing Database Schema Objects with Datalog -- 1 Introduction -- 2 Rule-Based Schema Analysis -- 3 Functional Dependency Propagation -- 3.1 Preliminaries -- 3.2 Representation of FDs and Normalized Rules -- 3.3 Propagation Rules -- 3.4 Union and Recursion -- 3.5 Implementation -- 3.6 Discussion -- 3.7 Related Work -- 4 Conclusion -- References -- Deadlock Detection of Java Bytecode -- 1 Introduction -- 2 Overview of JVML and of our technique -- 3 The Language JVMLd -- 4 The Type System -- 5 Lams and the Analysis of Circularities -- 6 More About Typing and JaDA -- 7 Assessment of JaDA -- 8 Related Work and Conclusions -- References -- Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks -- 1 Introduction -- 2 Modeling the Energy Consumption of Blocks -- 2.1 Identifying the Basic Blocks to Be Modeled -- 2.2 Evolutionary Algorithm for Finding Energy Bounds for Basic Blocks -- 3 Static Analysis of the Program Energy Consumption -- 4 Experimental Assessment -- 5 Related Work -- 6 Conclusions -- References -- CARET Analysis of Multithreaded Programs -- 1 Introduction

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.