↓ 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 Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL
  3. Altmetric Badge
    Chapter 2 The Bang Calculus Revisited
  4. Altmetric Badge
    Chapter 3 Functional Pearl: The Distributive $$\lambda $$ -Calculus
  5. Altmetric Badge
    Chapter 4 Polynomial Time over the Reals with Parsimony
  6. Altmetric Badge
    Chapter 5 Session Types Without Sophistry
  7. Altmetric Badge
    Chapter 6 Restriction on Cut in Cyclic Proof System for Symbolic Heaps
  8. Altmetric Badge
    Chapter 7 On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
  9. Altmetric Badge
    Chapter 8 Declarative Pearl: Deriving Monadic Quicksort
  10. Altmetric Badge
    Chapter 9 Language-Integrated Query with Nested Data Structures and Grouping
  11. Altmetric Badge
    Chapter 10 An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update
  12. Altmetric Badge
    Chapter 11 Implementing, and Keeping in Check, a DSL Used in E-Learning
  13. Altmetric Badge
    Chapter 12 System Description: Lang-n-Change - A Tool for Transforming Languages
  14. Altmetric Badge
    Chapter 13 An SMT-Based Concolic Testing Tool for Logic Programs
Attention for Chapter 10: An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update
Altmetric Badge

Citations

dimensions_citation
3 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
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update
Chapter number 10
Book title
Functional and Logic Programming
Published by
Springer, Cham, September 2020
DOI 10.1007/978-3-030-59025-3_10
Book ISBNs
978-3-03-059024-6, 978-3-03-059025-3
Authors

Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu, Tsushima, Kanae, Trong, Bach Nguyen, Glück, Robert, Hu, Zhenjiang

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 %
Unknown 2 100%
Readers by discipline Count As %
Engineering 1 50%
Unknown 1 50%

This page is provided by Altmetric.