↓ 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 On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics
  3. Altmetric Badge
    Chapter 2 A General Framework for Static Cost Analysis of Parallel Logic Programs
  4. Altmetric Badge
    Chapter 3 Incremental Analysis of Logic Programs with Assertions and Open Predicates
  5. Altmetric Badge
    Chapter 4 Computing Abstract Distances in Logic Programs
  6. Altmetric Badge
    Chapter 5 Synthesizing Imperative Code from Answer Set Programming Specifications
  7. Altmetric Badge
    Chapter 6 Verified Construction of Fair Voting Rules
  8. Altmetric Badge
    Chapter 7 Solving Proximity Constraints
  9. Altmetric Badge
    Chapter 8 A Certified Functional Nominal C-Unification Algorithm
  10. Altmetric Badge
    Chapter 9 Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming
  11. Altmetric Badge
    Chapter 10 An Integrated Approach to Assertion-Based Random Testing in Prolog
  12. Altmetric Badge
    Chapter 11 Trace Analysis Using an Event-Driven Interval Temporal Logic
  13. Altmetric Badge
    Chapter 12 The Prolog Debugger and Declarative Programming
  14. Altmetric Badge
    Chapter 13 A Port Graph Rewriting Approach to Relational Database Modelling
  15. Altmetric Badge
    Chapter 14 Generalization-Driven Semantic Clone Detection in CLP
  16. Altmetric Badge
    Chapter 15 Semi-inversion of Conditional Constructor Term Rewriting Systems
Attention for Chapter 10: An Integrated Approach to Assertion-Based Random Testing in Prolog
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
An Integrated Approach to Assertion-Based Random Testing in Prolog
Chapter number 10
Book title
Logic-Based Program Synthesis and Transformation
Published by
Springer, Cham, October 2019
DOI 10.1007/978-3-030-45260-5_10
Book ISBNs
978-3-03-045259-9, 978-3-03-045260-5
Authors

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo, Casso, Ignacio, Morales, José F., López-García, Pedro, Hermenegildo, Manuel V.

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 %
Researcher 1 100%
Readers by discipline Count As %
Chemistry 1 100%

This page is provided by Altmetric.