↓ 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 Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name
  3. Altmetric Badge
    Chapter 2 Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic
  4. Altmetric Badge
    Chapter 3 $$\lambda $$ λ to SKI, Semantically
  5. Altmetric Badge
    Chapter 4 Program Extraction for Mutable Arrays
  6. Altmetric Badge
    Chapter 5 Functional Pearl: Folding Polynomials of Polynomials
  7. Altmetric Badge
    Chapter 6 A Functional Perspective on Machine Learning via Programmable Induction and Abduction
  8. Altmetric Badge
    Chapter 7 Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
  9. Altmetric Badge
    Chapter 8 Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
  10. Altmetric Badge
    Chapter 9 On Probabilistic Term Rewriting
  11. Altmetric Badge
    Chapter 10 Equivalence Checking of Non-deterministic Operations
  12. Altmetric Badge
    Chapter 11 Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers
  13. Altmetric Badge
    Chapter 12 Breaking Symmetries with Lex Implications
  14. Altmetric Badge
    Chapter 13 Model Checking Parameterized by the Semantics in Maude
  15. Altmetric Badge
    Chapter 14 Automated Amortised Resource Analysis for Term Rewrite Systems
  16. Altmetric Badge
    Chapter 15 A Common Framework Using Expected Types for Several Type Debugging Approaches
  17. Altmetric Badge
    Chapter 16 CauDEr: A Causal-Consistent Reversible Debugger for Erlang
  18. Altmetric Badge
    Chapter 17 Cheap Remarks About Concurrent Programs
Attention for Chapter 4: Program Extraction for Mutable Arrays
Altmetric Badge

Mentioned by

twitter
1 X user
googleplus
1 Google+ user
Summary X Google+
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
Program Extraction for Mutable Arrays
Chapter number 4
Book title
Functional and Logic Programming
Published by
Springer, Cham, May 2018
DOI 10.1007/978-3-319-90686-7_4
Book ISBNs
978-3-31-990685-0, 978-3-31-990686-7
Authors

Kazuhiko Sakaguchi

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.