↓ 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 How to Talk to a Human: The Semantic Web and the Clash of the Titans
  3. Altmetric Badge
    Chapter 2 CHESS: Systematic Stress Testing of Concurrent Software
  4. Altmetric Badge
    Chapter 3 ARM : Automatic Rule Miner
  5. Altmetric Badge
    Chapter 4 Constructing Consensus Logic Programs
  6. Altmetric Badge
    Chapter 5 Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
  7. Altmetric Badge
    Chapter 6 Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
  8. Altmetric Badge
    Chapter 7 Towards Description and Optimization of Abstract Machines in an Extension of Prolog
  9. Altmetric Badge
    Chapter 8 Combining Different Proof Techniques for Verifying Information Flow Security
  10. Altmetric Badge
    Chapter 9 On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors
  11. Altmetric Badge
    Chapter 10 Logic-Based Program Synthesis and Transformation
  12. Altmetric Badge
    Chapter 11 A Comparative Study of Algorithmic Debugging Strategies
  13. Altmetric Badge
    Chapter 12 A Program Transformation for Tracing Functional Logic Computations
  14. Altmetric Badge
    Chapter 13 Automated Termination Analysis for Logic Programs by Term Rewriting
  15. Altmetric Badge
    Chapter 14 Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
  16. Altmetric Badge
    Chapter 15 Polytool: Proving Termination Automatically Based on Polynomial Interpretations
  17. Altmetric Badge
    Chapter 16 Grids: A Domain for Analyzing the Distribution of Numerical Values
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X
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.
Title
Logic-Based Program Synthesis and Transformation
Published by
Springer Berlin Heidelberg, May 2007
DOI 10.1007/978-3-540-71410-1
ISBNs
978-3-54-071409-5, 978-3-54-071410-1
Editors

Puebla, Germán

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.