"Logic-Based Program Synthesis and Transformation" - Information and Links:

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

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

"Logic-Based Program Synthesis and Transformation" was published by Springer London, Limited in 2015 - Cham, it has 237 pages and the language of the book is English.


“Logic-Based Program Synthesis and Transformation” Metadata:

  • Title: ➤  Logic-Based Program Synthesis and Transformation
  • Authors:
  • Language: English
  • Number of Pages: 237
  • Publisher: Springer London, Limited
  • Publish Date:
  • Publish Location: Cham

“Logic-Based Program Synthesis and Transformation” Subjects and Themes:

Edition Identifiers:

AI-generated Review of “Logic-Based Program Synthesis and Transformation”:


"Logic-Based Program Synthesis and Transformation" Description:

Open Data:

Intro -- Preface -- Organization -- Invited Talks -- Search Is Dead, Long Live Proof! -- Program Analysis Using SMT and Max-SMT -- Contents -- Formalization and Execution of Linear Algebra: From Theorems to Algorithms -- 1 Isabelle/HOL -- 1.1 HOL Multivariate Analysis Library -- 1.2 Code Generation -- 2 The Rank Nullity Theorem of Linear Algebra -- 3 The Gauss-Jordan Elimination Method -- 4 Code Generation from Finite Types -- 5 Bringing It All Back Home: Formalization and Execution -- 6 Related Work and Further Work -- 6.1 Related Work -- 6.2 Further Work and Conclusions -- References -- Information Flow in Object-Oriented Software -- 1 Introduction -- 2 Dynamic Logic for Java -- 3 Information Flow in Java -- 4 Isomorphisms -- 5 Formalizing Information Flow -- 5.1 Basic Information Flow Definition and Its Properties -- 5.2 An Optimized but Equivalent Formulation -- 6 Verification Conditions -- 7 An Efficient Compositional Criterion -- 8 Related Work -- 9 Conclusions and Future Work -- References -- A Transformational Approach to Resource Analysis with Typed-Norms -- 1 Introduction -- 2 The Language -- 2.1 A Simple Functional Language -- 2.2 Intermediate Form -- 3 Size Abstraction Using Typed-Norms -- 3.1 Preliminaries on Typed-Norms -- 3.2 Our Transformational Approach -- 4 Inference of Typed-Norms -- 5 Experimental Evaluation -- 6 Conclusions, Related and Future Work -- References -- A Finite Representation of the Narrowing Space -- 1 Introduction -- 2 Preliminaries -- 3 Compositionality and Flattening -- 4 A Finite Representation of the Narrowing Space -- 4.1 Constructing Finite Narrowing Trees -- 4.2 Success Set Equations -- 5 Related Work -- 6 Conclusion and Future Work -- References -- Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models -- 1 Introduction -- 2 Energy Characterization and Modelling

Read “Logic-Based Program Synthesis and Transformation”:

Read “Logic-Based Program Synthesis and Transformation” by choosing from the options below.

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.

Buy “Logic-Based Program Synthesis and Transformation” online:

Shop for “Logic-Based Program Synthesis and Transformation” on popular online marketplaces.