↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 tweeter

Readers on

40 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.
Logic-Based Program Synthesis and Transformation
Published by
Springer International Publishing, January 2017
DOI 10.1007/978-3-319-63139-4
978-3-31-963139-4, 978-3-31-963138-7

Manuel V Hermenegildo, Pedro Lopez-Garcia

Twitter Demographics

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

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 40 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 3%
Unknown 39 98%
Readers by discipline Count As %
Computer Science 1 3%
Unknown 39 98%