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

Logic-Based Program Synthesis and Transformation

Overview of attention for book
Cover of 'Logic-Based Program Synthesis and Transformation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 2 Data Type Inference for Logic Programming
  3. Altmetric Badge
    Chapter 3 Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines
  4. Altmetric Badge
    Chapter 4 S-Semantics–an Example
  5. Altmetric Badge
    Chapter 5 Disjunctive Delimited Control
  6. Altmetric Badge
    Chapter 6 Towards Substructural Property-Based Testing
  7. Altmetric Badge
    Chapter 7 The Next 700 Program Transformers
  8. Altmetric Badge
    Chapter 9 Prefix-Based Tracing in Message-Passing Concurrency
Attention for Chapter 7: The Next 700 Program Transformers
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
The Next 700 Program Transformers
Chapter number 7
Book title
Logic-Based Program Synthesis and Transformation
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-030-98869-2_7
Book ISBNs
978-3-03-098868-5, 978-3-03-098869-2
Authors

Hamilton, Geoff

View on publisher site
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 %
Other 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.