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

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

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Book's cover
The cover of “Logic-Based Program Synthesis and Transformation” - Open Library.

"Logic-Based Program Synthesis and Transformation" was published by Springer Berlin Heidelberg in 2011 - Berlin, Heidelberg, it has 1 pages and the language of the book is English.


“Logic-Based Program Synthesis and Transformation” Metadata:

  • Title: ➤  Logic-Based Program Synthesis and Transformation
  • Author:
  • Language: English
  • Number of Pages: 1
  • Publisher: Springer Berlin Heidelberg
  • Publish Date:
  • Publish Location: Berlin, Heidelberg

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

Edition Specifications:

  • Format: [electronic resource] :

Edition Identifiers:

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


"Logic-Based Program Synthesis and Transformation" Description:

Open Data:

Title Page -- Preface -- Organization -- Table of Contents -- Three Syntactic Theories for Combinatory Graph Reduction -- Introduction -- Two Inter-derivable Semantic Artifacts for Storeless Combinatory Graph Reduction -- A Reduction Semantics -- A Storeless Abstract Machine -- Summary and Conclusion -- Preprocessing Combinatory Terms into Term Graphs -- A Reduction Semantics -- A Storeless Abstract Machine -- Summary and Conclusion -- Store-Based Combinatory Graph Reduction -- A Reduction Semantics -- A Store-Based Abstract Machine -- Summary and Conclusion -- Related Work -- Conclusion and Future Work -- References -- Analysis of Air Traffic Track Data with the AutoBayes Synthesis System -- Introduction -- The AutoBayes Program Synthesis System -- Multivariate Clustering of Aircraft Track Data -- AutoBayes Clustering Models -- Experiments and Results -- Change-Point Detection Models -- The CAS/Mach Transition -- Change-Point Detection with AutoBayes -- CDA Detection -- Conclusions -- References -- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System -- Introduction -- Simplicial Models -- A Mathematical Model -- The EAT Model -- The Kenzo Model -- Schema of the Proof -- Proving that EAT Objects Are Simplicial Sets -- Proving That Kenzo Objects Are Simplicial Sets -- ACL2 Technical Issues -- Correctness of Face and Degeneracy Operators -- A Generic Simplicial Set Theory -- Obtaining ACL2 Correctness Certifications for Concrete Kenzo Simplicial Sets Families -- Conclusions and Future Work -- References -- Graph Generation to Statically Represent CSP Processes -- Introduction -- The Syntax and Semantics of CSP -- Context-Sensitive Synchronized Control-Flow Graphs -- An Algorithm to Generate the CSCFG -- Correctness -- Conclusions -- References -- Verification of the Schorr-Waite Algorithm - From Trees to Graphs -- Introduction

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.