Sold Out
Book Categories |
Abstract Diagnosis of Functional Programs | 1 | |
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene | 17 | |
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming | 32 | |
Translating Datalog-Like Optimization Queries into ILOG Programs | 48 | |
Tabling Structures for Bottom-Up Logic Programming | 50 | |
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties | 52 | |
Two Variables per Linear Inequality as an Abstract Domain | 71 | |
Convex Hull Abstractions in Specialization of CLP Programs | 90 | |
Collecting Potential Optimisations | 109 | |
An Operational Approach to Program Extraction in the Calculus of Constructions | 111 | |
Refinement of Higher-Order Logic Programs | 126 | |
A Generic Program for Minimal Subsets with Applications | 144 | |
Justification Based on Program Transformation | 158 | |
Combining Logic Programs and Monadic Second Order Logics by Program Transformation | 160 | |
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers | 182 | |
A Proof System for Information Flow Security | 199 | |
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation | 219 | |
A Fixed Point Semantics for Logic Programs Extended with Cuts | 238 | |
Abstract Partial Deduction Challenged | 258 | |
Towards Correct Object-Oriented Design Frameworks in Computational Logic | 260 | |
Mapping Modular SOS to Rewriting Logic | 262 | |
Program Synthesis Based on the Equivalent Transformation Computation Model | 278 | |
Author Index | 281 |
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 ListX
This item is in your CollectionLogic Based Program Synthesis and Transformation
X
This Item is in Your InventoryLogic Based Program Synthesis and Transformation
X
You must be logged in to review the productsX
X
X
Add Logic Based Program Synthesis and Transformation, The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were c, Logic Based Program Synthesis and Transformation to the inventory that you are selling on WonderClubX
X
Add Logic Based Program Synthesis and Transformation, The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were c, Logic Based Program Synthesis and Transformation to your collection on WonderClub |