↓ Skip to main content
What is this page? Embed badge

Logic Program Synthesis and Transformation

Overview of attention for book
Cover of 'Logic Program Synthesis and Transformation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Logic Program Synthesis via Proof Planning
  3. Altmetric Badge
    Chapter 2 Deductive Synthesis of Programs for Query Answering
  4. Altmetric Badge
    Chapter 3 Synthesis of Narrowing Programs
  5. Altmetric Badge
    Chapter 4 A Unifying View of Structural Induction and Computation Induction for Logic Programs
  6. Altmetric Badge
    Chapter 5 Proof Nets
  7. Altmetric Badge
    Chapter 6 The LOPS Approach: A Transformational Point of View
  8. Altmetric Badge
    Chapter 7 Best-first Strategies for Incremental Transformations of Logic Programs
  9. Altmetric Badge
    Chapter 8 Deriving Transformations of Logic Programs Using Abstract Interpretation
  10. Altmetric Badge
    Chapter 9 A Rationalisation of the ATMS in Terms of Partial Evaluation
  11. Altmetric Badge
    Chapter 10 Intensional Query Answering: An Application of Partial Evaluation
  12. Altmetric Badge
    Chapter 11 Deletion of Redundant Unary Type Predicates from Logic Programs
  13. Altmetric Badge
    Chapter 12 Automatic Termination Analysis
  14. Altmetric Badge
    Chapter 13 Applications of Unfolding in Prolog Programming
  15. Altmetric Badge
    Chapter 14 An Unfold Rule for Full Prolog
  16. Altmetric Badge
    Chapter 15 Logimix: A Self-Applicable Partial Evaluator for Prolog
  17. Altmetric Badge
    Chapter 16 Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation
  18. Altmetric Badge
    Chapter 17 On the Transformation of a Prolog Program to a more efficient binary Program
  19. Altmetric Badge
    Chapter 18 Efficient Compilation of Lazy Narrowing into Prolog
Attention for Chapter 2: Deductive Synthesis of Programs for Query Answering
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
1 Mendeley
Summary Wikipedia
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
Deductive Synthesis of Programs for Query Answering
Chapter number 2
Book title
Logic Program Synthesis and Transformation
Published by
Springer, London, January 1993
DOI 10.1007/978-1-4471-3560-9_2
Book ISBNs
978-3-54-019806-2, 978-1-4471-3560-9
Authors

Daniele Nardi, Riccardo Rosati, Nardi, Daniele, Rosati, Riccardo

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 %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.