↓ 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 3: A Transformational Approach to Resource Analysis with Typed-Norms
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
54 Mendeley
Summary X

This page is provided by Altmetric.