|
|
Sold Out
Book Categories |
| Attempto Controlled English - Not Just Another Logic Specification Language | 1 | |
| A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury | 21 | |
| Pragmatics in the Synthesis of Logic Programs | 41 | |
| Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems | 61 | |
| Synthesis of Programs in Abstract Data Types | 81 | |
| OOD Frameworks in Component-Based Software Development in Computational Logic | 101 | |
| The Use of Renaming in Composing General Programs | 124 | |
| Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes | 143 | |
| Specialising Logic Programs with Respect to Call/Post Specifications | 159 | |
| Generalization in Hierarchies of Online Program Specialization Systems | 179 | |
| Improving Homeomorphic Embedding for Online Termination | 199 | |
| Successes in Logic Programs | 219 | |
| Inferring and Compiling Termination for Constraint Logic Programs | 240 | |
| Strictness Analysis as Finite-Domain Constraint Solving | 255 | |
| Invariant Discovery via Failed Proof Attempts | 271 | |
| Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations | 289 | |
| Algorithms for Synthesizing Reactive Systems: A Perspective | 308 | |
| Schema-Guided Synthesis of CLP Programs | 309 | |
| Proof Planning with Program Schemas | 313 | |
| Logical Synthesis of Imperative O.-O. Programs | 316 | |
| Mathematical Foundations for Program Transformations | 319 | |
| An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs | 322 | |
| Bottom-Up Specialisation of Logic Programs | 325 | |
| Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging | 328 | |
| Author Index | 331 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Russell Yates
reviewed Logic-Based Program Synthesis and Transformation on April 27, 2018
Logic-Based Program Synthesis and Transformation
Good
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 presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully , 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 presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully , Logic-Based Program Synthesis and Transformation to your collection on WonderClub |