|
|
Sold Out
Book Categories |
| Static Analysis for Safe Destructive Updates in a Functional Language | 1 | |
| A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs | 25 | |
| On Deforesting Parameters of Accumulating Maps | 46 | |
| Equivalence in Answer Set Programming | 57 | |
| Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols | 76 | |
| Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking | 91 | |
| Verification of Sets of Infinite State Processes Using Program Transformation | 111 | |
| When Size Does Matter (Termination Analysis for Typed Logic Programs) | 129 | |
| Symbolic Profiling for Multi-paradigm Declarative Languages | 148 | |
| Correct Object-Oriented Systems in Computational Logic | 168 | |
| A Framework for Developing Embeddable Customized Logics | 191 | |
| Computing Environment-Aware Agent Behaviours with Logic Program Updates | 216 | |
| Extracting General Recursive Program Schemes in Nuprl's Type Theory | 233 | |
| Extracting Exact Time Bounds from Logical Proofs | 245 | |
| Author Index | 267 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Stephen Kanzee
reviewed Logic Based Program Synthesis and Transformation on January 28, 2014
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 post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together, 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 post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together, Logic Based Program Synthesis and Transformation to your collection on WonderClub |