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

Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Overview of attention for book
Cover of 'Functional and Constraint Logic Programming : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 KiCS2: A New Compiler from Curry to Haskell
  3. Altmetric Badge
    Chapter 2 New Functional Logic Design Patterns
  4. Altmetric Badge
    Chapter 3 XQuery in the Functional-Logic Language Toy
  5. Altmetric Badge
    Chapter 4 Size Invariant and Ranking Function Synthesis in a Functional Language
  6. Altmetric Badge
    Chapter 5 Memoizing a Monadic Mixin DSL
  7. Altmetric Badge
    Chapter 6 A Functional Approach to Worst-Case Execution Time Analysis
  8. Altmetric Badge
    Chapter 7 Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming
  9. Altmetric Badge
    Chapter 8 Logic Java: Combining Object-Oriented and Logic Programming
  10. Altmetric Badge
    Chapter 9 On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
Attention for Chapter 4: Size Invariant and Ranking Function Synthesis in a Functional Language
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
2 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
Size Invariant and Ranking Function Synthesis in a Functional Language
Chapter number 4
Book title
Functional and Constraint Logic Programming
Published by
Springer, Berlin, Heidelberg, July 2011
DOI 10.1007/978-3-642-22531-4_4
Book ISBNs
978-3-64-222530-7, 978-3-64-222531-4
Authors

Ricardo Peña, Agustin D. Delgado-Muñoz

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%

This page is provided by Altmetric.