|
|
Sold Out
Book Categories |
| Inductive theorem proving by program specialisation : generating proofs for Isabelle using Ecce | 1 | |
| Predicate synthesis from inductive proof attempt of faulty conjectures | 20 | |
| Correct OO systems in computational logic | 34 | |
| Specification and synthesis of hybrid automata for physics-based animation | 54 | |
| Adding concrete syntax to a prolog-based program synthesis system | 56 | |
| Formal development and verification of approximation algorithms using auxiliary variables | 59 | |
| Formal reasoning about efficient data structures : a case study in ACL2 | 75 | |
| A program transformation for backwards analysis of logic programs | 92 | |
| An efficient staging algorithm for binding-time analysis | 106 | |
| Proving termination with adornments | 108 | |
| Constructively characterizing fold and unfold | 110 | |
| Deterministic higher-order patterns for program transformation | 128 | |
| From interpreter to logic engine by defunctionalization | 143 | |
| Linearization by program transformation | 160 | |
| Continuation semantics as horn clauses | 176 | |
| Simplification of database integrity constraints revisited : a transformational approach | 178 | |
| Integration and optimization of rule-based constraint solvers | 198 | |
| Introducing ESRA, a relational language for modelling combinatorial problems | 214 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Deborah Hanson
reviewed Logic Based Program Synthesis and Transformation on April 05, 2017
Logic Based Program Synthesis and Transformation
In comparison to "Introduction to Algorithms" (the other algorithm book I had significant exposure to) this one is faster to read, easier to digest and more tailored towards applications.
I found the "Hitchhiker's Guide to Algorithms" in the back to be extremely useful if you really find yourself tackling an algorithmic problem in practice.
The main part (maybe skipping/skimming down a few chapters) is a very good preparation for algorithm-heavy job interviews (e.g. Google, Facebook etc ...).
Very much recommended.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Logic Based Program Synthesis and Transformation
X
This Item is in Your Inventory
Logic Based Program Synthesis and Transformation
X
You must be logged in to review the productsX
X
X
Add Logic Based Program Synthesis and Transformation, This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. The 12 revised full papers presented were carefu, Logic Based Program Synthesis and Transformation to the inventory that you are selling on WonderClubX
X
Add Logic Based Program Synthesis and Transformation, This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003. The 12 revised full papers presented were carefu, Logic Based Program Synthesis and Transformation to your collection on WonderClub |
