↓ Skip to main content

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 Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction
  3. Altmetric Badge
    Chapter 2 Code Compression
  4. Altmetric Badge
    Chapter 3 Functional Framework for Sound Synthesis
  5. Altmetric Badge
    Chapter 4 Specializing Narrowing for Timetable Generation: A Case Study
  6. Altmetric Badge
    Chapter 5 Character-Based Cladistics and Answer Set Programming
  7. Altmetric Badge
    Chapter 6 Role-Based Declarative Synchronization for Reconfigurable Systems
  8. Altmetric Badge
    Chapter 7 Towards a More Practical Hybrid Probabilistic Logic Programming Framework
  9. Altmetric Badge
    Chapter 8 Safe Programming with Pointers Through Stateful Views
  10. Altmetric Badge
    Chapter 9 Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
  11. Altmetric Badge
    Chapter 10 A Provably Correct Compiler for Efficient Model Checking of Mobile Processes
  12. Altmetric Badge
    Chapter 11 An Ordered Logic Program Solver
  13. Altmetric Badge
    Chapter 12 Improving Memory Usage in the BEAM
  14. Altmetric Badge
    Chapter 13 Solving Constraints on Sets of Spatial Objects
  15. Altmetric Badge
    Chapter 14 Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
  16. Altmetric Badge
    Chapter 15 Solving Collaborative Fuzzy Agents Problems with CLP( $\mathcal{FD}$ )
  17. Altmetric Badge
    Chapter 16 Improved Fusion for Optimizing Generics
  18. Altmetric Badge
    Chapter 17 The Program Inverter LRinv and Its Structure
  19. Altmetric Badge
    Chapter 18 A Full Pattern-Based Paradigm for XML Query Processing
  20. Altmetric Badge
    Chapter 19 Type Class Directives
Attention for Chapter 11: An Ordered Logic Program Solver
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
1 Mendeley
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
An Ordered Logic Program Solver
Chapter number 11
Book title
Practical Aspects of Declarative Languages
Published by
Springer, Berlin, Heidelberg, January 2005
DOI 10.1007/978-3-540-30557-6_11
Book ISBNs
978-3-54-024362-5, 978-3-54-030557-6
Authors

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir, Van Nieuwenborgh, Davy, Heymans, Stijn, Vermeir, Dirk

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%