↓ 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 Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms
  3. Altmetric Badge
    Chapter 2 A Formal, Resource Consumption-Preserving Translation of Actors to Haskell
  4. Altmetric Badge
    Chapter 3 Verification of Time-Aware Business Processes Using Constrained Horn Clauses
  5. Altmetric Badge
    Chapter 4 MiniZinc with Strings
  6. Altmetric Badge
    Chapter 5 Slicing Concurrent Constraint Programs
  7. Altmetric Badge
    Chapter 6 A New Functional-Logic Compiler for Curry: S prite
  8. Altmetric Badge
    Chapter 7 lpopt: A Rule Optimization Tool for Answer Set Programming
  9. Altmetric Badge
    Chapter 8 Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
  10. Altmetric Badge
    Chapter 9 Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators
  11. Altmetric Badge
    Chapter 10 A Productivity Checker for Logic Programming
  12. Altmetric Badge
    Chapter 11 Symbolic Abstract Contract Synthesis in a Rewriting Framework
  13. Altmetric Badge
    Chapter 12 On the Completeness of Selective Unification in Concolic Testing of Logic Programs
  14. Altmetric Badge
    Chapter 13 CurryCheck: Checking Properties of Curry Programs
  15. Altmetric Badge
    Chapter 14 A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms
  16. Altmetric Badge
    Chapter 15 A Reversible Semantics for Erlang
  17. Altmetric Badge
    Chapter 16 Scaling Bounded Model Checking by Transforming Programs with Arrays
  18. Altmetric Badge
    Chapter 17 Intuitionistic Logic Programming for SQL
  19. Altmetric Badge
    Chapter 18 Coinductive Soundness of Corecursive Type Class Resolution
  20. Altmetric Badge
    Chapter 19 Nominal Unification of Higher Order Expressions with Recursive Let
  21. Altmetric Badge
    Chapter 20 Automata Theory Approach to Predicate Intuitionistic Logic
Attention for Chapter 10: A Productivity Checker for Logic Programming
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 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.
Chapter title
A Productivity Checker for Logic Programming
Chapter number 10
Book title
Logic-Based Program Synthesis and Transformation
Published by
Springer, Cham, September 2016
DOI 10.1007/978-3-319-63139-4_10
Book ISBNs
978-3-31-963138-7, 978-3-31-963139-4
Authors

Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt

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 > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%