↓ 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 The Metalanguage λprolog and Its Implementation
  3. Altmetric Badge
    Chapter 2 A Scalable Architecture for Proof-Carrying Code
  4. Altmetric Badge
    Chapter 3 Parameterized Logic Programs where Computing Meets Learning
  5. Altmetric Badge
    Chapter 4 Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
  6. Altmetric Badge
    Chapter 5 A Higher-Order Colon Translation
  7. Altmetric Badge
    Chapter 6 Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
  8. Altmetric Badge
    Chapter 7 A Higher-Order Logic Programming Language with Constraints
  9. Altmetric Badge
    Chapter 8 Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λProlog ‐ A Case-study ‐
  10. Altmetric Badge
    Chapter 9 An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
  11. Altmetric Badge
    Chapter 10 A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
  12. Altmetric Badge
    Chapter 11 Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
  13. Altmetric Badge
    Chapter 12 Adding Linear Constraints over Real Numbers to Curry
  14. Altmetric Badge
    Chapter 13 A Complete Selection Function for Lazy Conditional Narrowing
  15. Altmetric Badge
    Chapter 14 An Abstract Machine Based System for a Lazy Narrowing Calculus
  16. Altmetric Badge
    Chapter 15 Incremental Learning of Functional Logic Programs
  17. Altmetric Badge
    Chapter 16 A General Type Inference Framework for Hindley/Milner Style Systems
  18. Altmetric Badge
    Chapter 17 Monadic Encapsulation with Stack of Regions
  19. Altmetric Badge
    Chapter 18 Well-Typed Logic Programs Are not Wrong
  20. Altmetric Badge
    Chapter 19 A Framework for Analysis of Typed Logic Programs
  21. Altmetric Badge
    Chapter 20 Abstract Compilation for Sharing Analysis
  22. Altmetric Badge
    Chapter 21 A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
  23. Altmetric Badge
    Chapter 22 A Simple Take on Typed Abstract Syntax in Haskell-like Languages
  24. Altmetric Badge
    Chapter 23 A simply typed context calculus with first-class environments
  25. Altmetric Badge
    Chapter 24 Refining the Barendregt Cube using Parameters
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
Summary X 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.
Title
Functional and Logic Programming
Published by
Springer Berlin Heidelberg, June 2003
DOI 10.1007/3-540-44716-4
ISBNs
978-3-54-041739-2, 978-3-54-044716-0
Editors

Kuchen, Herbert, Ueda, Kazunori

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.
 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 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.