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

Functional and Logic Programming

Overview of attention for book
Cover of 'Functional and Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Brief Survey of Quantum Programming Languages
  3. Altmetric Badge
    Chapter 2 Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic
  4. Altmetric Badge
    Chapter 3 Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework
  5. Altmetric Badge
    Chapter 4 Online Justification for Tabled Logic Programs
  6. Altmetric Badge
    Chapter 5 Constructive Intensional Negation
  7. Altmetric Badge
    Chapter 6 Analysing Definitional Trees: Looking for Determinism
  8. Altmetric Badge
    Chapter 7 $\mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages
  9. Altmetric Badge
    Chapter 8 LIX: an Effective Self-applicable Partial Evaluator for Prolog
  10. Altmetric Badge
    Chapter 9 Multivariant Non-failure Analysis via Standard Abstract Interpretation
  11. Altmetric Badge
    Chapter 10 Set-Sharing Is Not Always Redundant for Pair-Sharing
  12. Altmetric Badge
    Chapter 11 Backward Pair Sharing Analysis
  13. Altmetric Badge
    Chapter 12 Implementing Natural Rewriting and Narrowing Efficiently
  14. Altmetric Badge
    Chapter 13 Complete Axiomatization of an Algebraic Construction of Graphs
  15. Altmetric Badge
    Chapter 14 Sub-Birkhoff
  16. Altmetric Badge
    Chapter 15 Relaxing the Value Restriction
  17. Altmetric Badge
    Chapter 16 Rigid Mixin Modules
  18. Altmetric Badge
    Chapter 17 Semantics of Linear Continuation-Passing in Call-by-Name
  19. Altmetric Badge
    Chapter 18 A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus
  20. Altmetric Badge
    Chapter 19 Normalization by Evaluation for λ →2
  21. Altmetric Badge
    Chapter 20 Basic Pattern Matching Calculi: a Fresh View on Matching Failure
  22. Altmetric Badge
    Chapter 21 Derivation of Deterministic Inverse Programs Based on LR Parsing
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X
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
Functional and Logic Programming
Published by
Springer Berlin Heidelberg, March 2004
DOI 10.1007/b96926
ISBNs
978-3-54-021402-1, 978-3-54-024754-8
Editors

Kameyama, Yukiyoshi, Stuckey, Peter J.

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.