↓ 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 12: Compiling a Functional Logic Language: The Fair Scheme
Altmetric Badge
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
Compiling a Functional Logic Language: The Fair Scheme
Chapter number 12
Book title
Logic-Based Program Synthesis and Transformation
Published by
Springer, Cham, September 2013
DOI 10.1007/978-3-319-14125-1_12
Book ISBNs
978-3-31-914124-4, 978-3-31-914125-1
Authors

Sergio Antoy, Andy Jost, Antoy, Sergio, Jost, Andy

View on publisher site

This page is provided by Altmetric.