↓ Skip to main content
What is this page? Embed badge

Practical Aspects of Declarative Languages

Overview of attention for book
Cover of 'Practical Aspects of Declarative Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine
  3. Altmetric Badge
    Chapter 2 Generic Cut Actions for External Prolog Predicates
  4. Altmetric Badge
    Chapter 3 Controlling Search Space Materialization in a Practical Declarative Debugger
  5. Altmetric Badge
    Chapter 4 Automatic Verification of a Model Checker by Reflection
  6. Altmetric Badge
    Chapter 5 Probabilistic-Logical Modeling of Music
  7. Altmetric Badge
    Chapter 6 Using Dominators for Solving Constrained Path Problems
  8. Altmetric Badge
    Chapter 7 JQuery: A Generic Code Browser with a Declarative Configuration Language
  9. Altmetric Badge
    Chapter 8 A Hybrid BDD and SAT Finite Domain Constraint Solver
  10. Altmetric Badge
    Chapter 9 Adding Constraint Solving to Mercury
  11. Altmetric Badge
    Chapter 10 Modeling Genome Evolution with a DSEL for Probabilistic Programming
  12. Altmetric Badge
    Chapter 11 Tabling in Mercury: Design and Implementation
  13. Altmetric Badge
    Chapter 12 Translating Description Logic Queries to Prolog
  14. Altmetric Badge
    Chapter 13 Efficient Top-Down Set-Sharing Analysis Using Cliques
  15. Altmetric Badge
    Chapter 14 Querying Complex Graphs
  16. Altmetric Badge
    Chapter 15 Practical Aspects of Declarative Languages
Attention for Chapter 8: A Hybrid BDD and SAT Finite Domain Constraint Solver
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
13 Mendeley
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.