Sold Out
Book Categories |
Logic Programming and Model Checking | 1 | |
CAT: The Copying Approach to Tabling | 21 | |
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog | 36 | |
A Framework for Bottom Up Specialisation of Logic Programs | 54 | |
Termination of Logic Programs with block Declarations Running in Several Modes | 73 | |
The Boolean Logic of Set Sharing Analysis | 89 | |
Derivation of Proof Methods by Abstract Interpretation | 102 | |
Detecting Unsolvable Queries for Definite Logic Programs | 118 | |
Staging Static Analyses Using Abstraction-Based Program Specialization | 134 | |
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs | 152 | |
Architecturing Software Using: A Methodology for Language Development | 170 | |
Explicit Substitutions for Objects and Functions | 195 | |
The Complexity of Late-Binding in Dynamic Object-Oriented Languages | 213 | |
A Compiler for Rewrite Programs in Associative-Commutative Theories | 230 | |
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems | 250 | |
A General Framework for R-Unification Problems | 266 | |
Operational Versus Denotational Methods in the Semantics of Higher Order Languages | 282 | |
Functional Implementations of Continuous Modeled Animation | 284 | |
Compiling Erlang to Scheme | 300 | |
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View | 318 | |
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine | 335 | |
Program Analysis in [lambda]Prolog | 353 | |
A Game Semantics Foundation for Logic Programming | 355 | |
Controlling Search in Declarative Programs | 374 | |
Encapsulating Data in Logic Programming via Categorical Constraints | 391 | |
Constructive Negation Using Typed Existence Properties | 411 | |
Optimal Reduction of Functional Expressions | 427 | |
Embedding Multiset Constraints into a Lazy Functional Logic Language | 429 | |
A Hidden Herbrand Theorem | 445 | |
Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems | 463 | |
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method | 481 | |
Author Index | 497 |
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 CollectionPrinciples of Declarative Programming
X
This Item is in Your InventoryPrinciples of Declarative Programming
X
You must be logged in to review the productsX
X
X
Add Principles of Declarative Programming, , Principles of Declarative Programming to the inventory that you are selling on WonderClubX
X
Add Principles of Declarative Programming, , Principles of Declarative Programming to your collection on WonderClub |