↓ Skip to main content

Principles and Practice of Declarative Programming

Overview of attention for book
Cover of 'Principles and Practice of Declarative Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 C-— : A Portable Assembly Language that Supports Garbage Collection
  3. Altmetric Badge
    Chapter 2 On Formalised Proofs of Termination of Recursive Functions
  4. Altmetric Badge
    Chapter 3 Argument Filtering Transformation
  5. Altmetric Badge
    Chapter 4 A Primitive Calculus for Module Systems
  6. Altmetric Badge
    Chapter 5 Non-dependent Types for Standard ML Modules
  7. Altmetric Badge
    Chapter 6 Constraint Programming in OPL
  8. Altmetric Badge
    Chapter 7 Compiling Constraint Handling Rules into Prolog with Attributed Variables
  9. Altmetric Badge
    Chapter 8 Parallel Execution Models for Constraint Programming over Finite Domains
  10. Altmetric Badge
    Chapter 9 Functional Plus Logic Programming with Built-In and Symbolic Constraints
  11. Altmetric Badge
    Chapter 10 A Calculus for Interaction Nets
  12. Altmetric Badge
    Chapter 11 Distributed Programming in a Multi-Paradigm Declarative Language
  13. Altmetric Badge
    Chapter 12 Logical and Meta-Logical Frameworks
  14. Altmetric Badge
    Chapter 13 A Simple and General Method for Integrating Abstract Interpretation in SICStus
  15. Altmetric Badge
    Chapter 14 Run Time Type Information in Mercury
  16. Altmetric Badge
    Chapter 15 A Virtual Machine for a Process Calculus
  17. Altmetric Badge
    Chapter 16 Optimising Bytecode Emulation for Prolog
  18. Altmetric Badge
    Chapter 17 OPENLOG: A Logic Programming Language Based on Abduction
  19. Altmetric Badge
    Chapter 18 An Operational Semantics of Starlog
  20. Altmetric Badge
    Chapter 19 On the Verification of Finite Failure
  21. Altmetric Badge
    Chapter 20 Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
  22. Altmetric Badge
    Chapter 21 Modular Termination Proofs for Prolog with Tabling
  23. Altmetric Badge
    Chapter 22 Declarative Program Transformation: A Deforestation Case-Study
  24. Altmetric Badge
    Chapter 23 A Semantic Account of Type-Directed Partial Evaluation
  25. Altmetric Badge
    Chapter 24 A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
  26. Altmetric Badge
    Chapter 25 Widening Sharing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
4 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.
Title
Principles and Practice of Declarative Programming
Published by
ACM Press, January 1999
DOI 10.1007/10704567
ISBNs
978-3-54-066540-3, 978-3-54-048164-5
Editors

Nadathur, Gopalan

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
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 %
Ghana 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 25%
Professor > Associate Professor 1 25%
Researcher 1 25%
Lecturer > Senior Lecturer 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Environmental Science 1 25%