↓ 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 6: Using Dominators for Solving Constrained Path Problems
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Using Dominators for Solving Constrained Path Problems
Chapter number 6
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Berlin, Heidelberg, January 2006
DOI 10.1007/11603023_6
Book ISBNs
978-3-54-030947-5, 978-3-54-031685-5
Authors

Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 50%
Student > Ph. D. Student 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Computer Science 4 100%

This page is provided by Altmetric.