↓ 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 Analysis of Logic Programs Using Regular Tree Languages
  3. Altmetric Badge
    Chapter 2 Dynamic Symbolic Computation for Domain-Specific Language Implementation
  4. Altmetric Badge
    Chapter 3 Logic-Based Program Synthesis and Transformation
  5. Altmetric Badge
    Chapter 4 A Declarative Embedding of XQuery in a Functional-Logic Language
  6. Altmetric Badge
    Chapter 5 Automata-Based Computation of Temporal Equilibrium Models
  7. Altmetric Badge
    Chapter 6 Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees
  8. Altmetric Badge
    Chapter 7 Clones in Logic Programs and How to Detect Them
  9. Altmetric Badge
    Chapter 8 Using Real Relaxations during Program Specialization
  10. Altmetric Badge
    Chapter 9 Marker-Directed Optimization of UnCAL Graph Transformations
  11. Altmetric Badge
    Chapter 10 Modular Extensions for Modular (Logic) Languages
  12. Altmetric Badge
    Chapter 11 Meta-predicate Semantics
  13. Altmetric Badge
    Chapter 12 A Strategy Language for Graph Rewriting
  14. Altmetric Badge
    Chapter 13 Improved Termination Analysis of CHR Using Self-sustainability Analysis
  15. Altmetric Badge
    Chapter 14 Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
  16. Altmetric Badge
    Chapter 15 Probabilistic Termination of CHRiSM Programs
  17. Altmetric Badge
    Chapter 16 A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
Attention for Chapter 14: Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
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
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
Chapter number 14
Book title
Logic-Based Program Synthesis and Transformation
Published by
Springer, Berlin, Heidelberg, July 2011
DOI 10.1007/978-3-642-32211-2_14
Book ISBNs
978-3-64-232210-5, 978-3-64-232211-2
Authors

Hirohisa Seki

View on publisher site

This page is provided by Altmetric.