↓ Skip to main content

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 Attempto Controlled English — Not Just Another Logic Specification Language
  3. Altmetric Badge
    Chapter 2 A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury
  4. Altmetric Badge
    Chapter 3 Pragmatics in the Synthesis of Logic Programs
  5. Altmetric Badge
    Chapter 4 Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
  6. Altmetric Badge
    Chapter 5 Synthesis of Programs in Abstract Data Types
  7. Altmetric Badge
    Chapter 6 OOD Frameworks in Component-Based Software - Development in Computational Logic
  8. Altmetric Badge
    Chapter 7 The Use of Renaming in Composing General Programs
  9. Altmetric Badge
    Chapter 8 Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
  10. Altmetric Badge
    Chapter 9 Specialising Logic Programs with Respect to Call/Post Specifications
  11. Altmetric Badge
    Chapter 10 Generalization in Hierarchies of Online Program Specialization Systems
  12. Altmetric Badge
    Chapter 11 Improving Homeomorphic Embedding for Online Termination
  13. Altmetric Badge
    Chapter 12 Successes in Logic Programs
  14. Altmetric Badge
    Chapter 13 Inferring and Compiling Termination for Constraint Logic Programs
  15. Altmetric Badge
    Chapter 14 Strictness Analysis as Finite-Domain Constraint Solving
  16. Altmetric Badge
    Chapter 15 Invariant Discovery via Failed Proof Attempts
  17. Altmetric Badge
    Chapter 16 Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations
  18. Altmetric Badge
    Chapter 17 Algorithms for Synthesizing Reactive Systems: A Perspective
  19. Altmetric Badge
    Chapter 18 Schema-Guided Synthesis of CLP Programs
  20. Altmetric Badge
    Chapter 19 Abstract: Proof Planning with Program Schemas
  21. Altmetric Badge
    Chapter 20 Logical Synthesis of Imperative O.O. Programs
  22. Altmetric Badge
    Chapter 21 Mathematical Foundations for Program Transformations
  23. Altmetric Badge
    Chapter 22 An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs
  24. Altmetric Badge
    Chapter 23 Bottom-Up Specialisation of Logic Programs
  25. Altmetric Badge
    Chapter 24 Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Readers on

mendeley
33 Mendeley
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 Science & Business Media, March 1999
DOI 10.1007/3-540-48958-4
ISBNs
978-3-54-065765-1, 978-3-54-048958-0
Editors

Flener, Pierre

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 33 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Finland 2 6%
Portugal 1 3%
Unknown 30 91%

Demographic breakdown

Readers by professional status Count As %
Researcher 9 27%
Student > Master 7 21%
Student > Ph. D. Student 7 21%
Professor > Associate Professor 2 6%
Student > Doctoral Student 2 6%
Other 4 12%
Unknown 2 6%
Readers by discipline Count As %
Computer Science 23 70%
Engineering 3 9%
Unspecified 2 6%
Business, Management and Accounting 1 3%
Social Sciences 1 3%
Other 1 3%
Unknown 2 6%