↓ 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 1 Formalization and Execution of Linear Algebra: From Theorems to Algorithms
  3. Altmetric Badge
    Chapter 2 Information Flow in Object-Oriented Software
  4. Altmetric Badge
    Chapter 3 A Transformational Approach to Resource Analysis with Typed-Norms
  5. Altmetric Badge
    Chapter 4 A Finite Representation of the Narrowing Space
  6. Altmetric Badge
    Chapter 5 Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
  7. Altmetric Badge
    Chapter 6 From Outermost Reduction Semantics to Abstract Machine
  8. Altmetric Badge
    Chapter 7 Towards Erlang Verification by Term Rewriting
  9. Altmetric Badge
    Chapter 8 Extending Co-logic Programs for Branching-Time Model Checking
  10. Altmetric Badge
    Chapter 9 Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
  11. Altmetric Badge
    Chapter 10 A Logical Encoding of Timed $$\pi $$ -Calculus
  12. Altmetric Badge
    Chapter 11 A New Hybrid Debugging Architecture for Eclipse
  13. Altmetric Badge
    Chapter 12 Compiling a Functional Logic Language: The Fair Scheme
  14. Altmetric Badge
    Chapter 13 Generating Specialized Interpreters for Modular Structural Operational Semantics
Attention for Chapter 6: From Outermost Reduction Semantics to Abstract Machine
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
From Outermost Reduction Semantics to Abstract Machine
Chapter number 6
Book title
Logic-Based Program Synthesis and Transformation
Published by
Springer, Cham, September 2013
DOI 10.1007/978-3-319-14125-1_6
Book ISBNs
978-3-31-914124-4, 978-3-31-914125-1
Authors

Olivier Danvy, Jacob Johannsen, Danvy, Olivier, Johannsen, Jacob

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

This page is provided by Altmetric.